Stripeur définition

stripeur

[adjectif] Qualificatif donné à un pont de levage destiné à extraire les lingots des creusets. Parfois nommé `pont roulant démouleur`.
Trouvé sur https://fr.wiktionary.org/wiki/stripeur

---