dans le corps des ingénieurs de l'industrie et des mines et admis

à faire valoir ses droits à la retraite

ingénieur divisionnaire de l'industrie et des mines, détaché sur un emploi de chef de mission