Mali : attaque "terroriste" contre les soldats français de Barkhane à Gao (sources militaires)