>>318
供用中のトンネル拡幅は「活線拡幅」といって実績もあるらしい。

http://library.jsce.or.jp/jsce/open/00047/2001/11-0221.pdf