dévêtisseur
nom masculin
- Dans un outillage de presse à découper, élément ayant pour fonction d'extraire le poinçon de la bande ou de la pièce dans laquelle il a pénétré.
nom masculin
À DÉCOUVRIR DANS L'ENCYCLOPÉDIE
De quel verbe proviennent les mots « gisant » et « ci-gît » ?