Fin de l'opération Barkhane: quel bilan pour les forces armées françaises au Mali?