Après le «surge» de 2020, Barkhane en passe de réduire ses effectifs?