出典:デジタル大辞泉(小学館)

トンネルを掘削するにあたって、全断面のうちの一部に先に掘った小さな坑道。