Adnan Abu Walid al Sahraoui: head of ISIS in the Sahara killed by French forces