Ingénieurs des mines, ingénieurs métallurgistes et assimilés