гірнича виробка

Див. виробка гірнича.