dans le corps des ingénieurs des mines

admis à faire valoir ses droits à la retraite

ingénieur général des mines, en détachement d'office