Excavation consisting of a vertical or sloping passageway for finding or mining ore or for ventilating a mine