Mort du chef de l'Etat islamique au Grand Sahara tué par une frappe de l'armée française