Гірничий енциклопедичний словник – Мови