élargisseur
nom masculin
- 1. Outil destiné à augmenter le diamètre d'un puits déjà foré ou en cours de forage.
- 2. Dispositif utilisé à l'entrée des séchoirs, rames et machines d'apprêt pour éliminer les plis d'un tissu et accroître sa largeur.
nom masculin
À DÉCOUVRIR DANS L'ENCYCLOPÉDIE
« Les opérettes que j'ai [entendu] chanter. » Comment faut-il écrire « entendu » ?