Quelque 4 000 militaires français déployés dans l'opération Barkhane