Les États-Unis ont frappé la Syrie contre le groupe État islamique