génie minier

discipline ensemble des techniques de construction des mines et d'extraction des minerais

Le génie minier désigne l'ensemble des techniques de construction des mines et d'extraction des minerais. — Wikipédia (CC BY-SA)

Nature : discipline académique, sciences de l'ingénieur