ingénieur en chef des mines, en disponibilité depuis le 1er mars 2017

dans le corps des ingénieurs des mines

à compter du 1er mars 2025

radié des cadres