La force Barkhane a mis hors de combat une dizaine de jihadistes lors d’une opération « d’opportunité » au Mali