Un chef d'Al-Qaïda tué au Mali: mission accomplie pour Barkhane?