Gendarmerie-personnel — France. Ministère de la défense