« On a voulu jouer les gendarmes, au lieu de rester des pompiers » : retour sur neuf ans d'intervention de la France au Mali