Nomination du directeur général de la gendarmerie nationale – M. Mignaux (Jacques)