Chef d'AQMI tué : un « succès majeur » pour l'armée française au Sahel