ingénieur général des mines, en disponibilité depuis le 1er janvier 2015

dans le corps des ingénieurs des mines

à compter du 1er janvier 2025

radié des cadres