L'armée américaine mène des frappes aériennes contre le groupe État islamique en Syrie