Mort du chef d'AQMI tué au Mali: pour le général Trinquand, «les Algériens ont pu passer des renseignements»