ingénieur en chef des mines, placé en disponibilité pour convenances personnelles

dans le corps des ingénieurs des mines