先進導坑
  • 最初に掘られたトンネルで、海底トンネルを掘ることが出来るかを調査するための調査坑。現在では、排水と換気のために使われている。