Un haut cadre de l'État islamique au Grand Sahara tué par les forces spéciales françaises