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