Le chef du groupe Etat islamique au Grand Sahara et mercenaire du « polisario », Adnan Abou Walid al-Sahraoui, tué par les forces françaises