placée en service détaché

dans le corps des ingénieurs des mines

radiée des cadres