Au Mali, l'armée française porte un coup sévère à un groupe djihadiste