Mali : Opération en cours pour traquer le chef de l’État islamique dans le grand Sahara