Mali : raid "coordonné" entre l'armée et la force Barkhane