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