muraillement

MURAILLEMENT

(mû-râ-lle-man, ll mouillées) s. m.
Maçonnerie en briques dont on revêt les puits d'une mine. Travail qui a pour but de fortifier les ouvrages par la construction de murs.
Nous avons voulu savoir quel avait été l'avancement maximum d'un chantier avec muraillement dans le tunnel de Blaisy [BURAT, Constitutionnel, 4 sept. 1858]
Terme de métallurgie. Double muraillement, murs extérieurs d'un haut fourneau.

ÉTYMOLOGIE

  • Murailler.