ingénieur général des mines, en disponibilité pour convenances personnelles

dans le corps des ingénieurs des mines et radié des cadres