La France renforce l'opération Barkhane de 4 500 à 5 100 militaires