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

dans le corps des ingénieurs des mines

radiée des cadres