Ce n’est qu’un détail mais : sauf à ce que de récentes réorganisations aient changé les choses, la Gendarmerie, c’est l’armée, et l’Armée, c’est le Ministère de la Défense (qui a, d’ailleurs, via MAM, saisi la justice).