Groupe État islamique au Grand Sahara : la mort d'Al-Sahraoui, un coup porté au mouvement ?