Définitionsélargisseur

élargisseur

nom masculin
/e.laʁ.ʒi.sœʁ/
  1. TechniqueOutil destiné à élargir un forage.Les élargisseurs font quelquefois l’office d’alésoirs, mais le plus souvent ils sont destinés à élargir un trou de sonde au-dessous du tubage, de façon à en permettre la descente.
  2. DésuetAppareil qui, autrefois, dans les usines de papier peint servait à enlever les plis qui avaient pu se former et à étendre le papier pour le remettre à la bonne dimension.

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