Mali : après neuf ans de combat contre les terroristes, la France est partie par la petite porte