Англо-русский строительный словарь
rock tunnel
Тоннель, сооружаемый горным способом
Англо-русский строительный словарь
rock toe
rock tunneling