marin (N) — marinage (N)
marinage : Action d'évacuer le marin lors du percement d'un tunnel.