| RIVELAINE, subst. fém. MINES. Pic à deux pointes et à long manche, utilisé dans les mines pour couper ou entailler les roches tendres et en particulier la houille. La rivelaine s'emploie pour les havages; c'est un outil en fer plat à deux pointes et muni d'un long manche (Bourde, Trav. publ., 1928, p. 101).Prononc.: [ʀivlεn]. Étymol. et Hist. 1773 (J.-F.-C. Morand, L'Art d'exploiter les mines de charbon de terre, Paris,t. 1, 2epart., p. 223: rifvelaine). Mot pic. et wall., dér. de river « rafler », empr. au m. néerl. riven « râper ». Fréq. abs. littér.: 17. |