L'armée américaine annonce avoir tué quatre dirigeants de l'EI