dans le corps des ingénieurs des mines et radiés des cadres