pipejacking
nounEtymology From pipe + jacking.
1
The use of hydraulic jacks to push pipes through the ground behind a TBM or shield, commonly used to create tunnels under existing structures such as roads or railways.
Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.