dans le corps des ingénieurs des mines

admise

à faire valoir ses droits à la retraite

ingénieure générale des mines, en position de détachement d'office