Définitionshayeur

hayeur

nom masculin
  1. Industrie minièreOuvrier qui, dans certaines mines, enlève la nuit un lit de pierre intercalé dans la couche.La largeur occupée par un hayeur est d’autant moindre que la couche est plus dure; les limites extrêmes sont 2.09 mètres et 3.13 mètres.

Définitions issus du Wiktionnaire (via DBnary), sous licence CC BY-SA 3.0.