Définitionsravanceur

ravanceur

nom masculin
/ʁa.vɑ̃.sœʁ/
  1. Industrie minièreOuvrier qui pousse à la pelle le charbon qui vient d'être abattu, pour le faire glisser jusqu'au chargeur ou jusqu'à une cheminée par laquelle il est évacué.

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