Durant l’opération militaire française au Mali, un chef djihadiste a été tué.