Mot : marin
Catégorie : N
Genre : Masculin
Définition : Génie civil Nom des déblais  lors de la foration d'un tunnel.
Exemples : Le tunnelier laisse derrière lui une quantité importante de marin qu'il faut évacuer très rapidement.