Les derniers soldats français ont quitté le Mali, mettant fin à neuf ans d'opérations