Opération Barkhane : les derniers militaires français ont quitté le Mali