Le chef de l'EI au Sahel tué : ce que ça change pour la France