professeur des écoles des mines de classe exceptionnelle, affecté à l'Ecole nationale supérieure des mines de Paris

à la retraite d'office

par limite d'âge