L’opération américaine contre l’État islamique a désormais un nom