Les principales offensives menées sur Raqqa et sa province de mai 2016 à décembre 2017