ingénieur en chef des mines, en disponibilité depuis le

dans le corps des ingénieurs des mines

radié des cadres