Le colonel Michel, commandant du groupement de gendarmerie de la Lozère, quitte le département