Le général Christian Rodriguez a été nommé directeur de la Gendarmerie nationale