ingénieur général des mines, en disponibilité depuis le 1er juillet 2013

dans le corps des ingénieurs des mines

à compter du 1er juillet 2025

radié des cadres