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