Le chef de l’État islamique au Grand Sahara, Abou Walid Al-Sahraoui, tué par les forces françaises