ingénieur des mines, en disponibilité

dans le corps des ingénieurs des mines

radié des cadres