dans le corps des ingénieurs des mines

admis

à faire valoir ses droits à la retraite

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