dans le corps des ingénieurs des mines et admis

à faire valoir ses droits à la retraite

ingénieur général des mines