Chef d'Al-Qaïda au Maghreb islamique tué au Mali : est-ce un gros coup de l'armée française ?