Mali: l'armée française tue un haut cadre algérien d'Al-Qaïda