Le chef du groupe Etat islamique au Grand Sahara tué : "C'est un chef qui était suivi depuis longtemps"