L’opération visait à frapper des infrastructures cachées du groupe djihadiste, aujourd’hui replié dans le désert syrien.