Chef d'AQMI tué: un "succès majeur" pour l'armée française, pressée d'obtenir des résultats au Sahel