Trois Américains tués en Syrie dans une attaque attribuée à l'État islamique, Donald Trump entend « riposter »