Gendarmerie Nationale : le général Olivier Kim tire sa révérence, après 37 ans de carrière