Sahel: que sait-on de la mort d'al-Sahraoui, chef du groupe État islamique au Grand Sahara?