Quatre dirigeants de l'État islamique ont été tués en Irak, annonce l'armée américaine