L’opération militaire française dans la bande sahélo-saharienne s’appellera Barkhane