pousse-toc (Réf. ortho. pousse-toc, pousse-tocs)

nom masculin invariable (Réf. ortho. nom masculin)

Définitions de pousse-toc


  • Doigt fixé sur le plateau d'un tour, et destiné à entraîner le toc monté sur la pièce à travailler entre pointes.

Mots proches

Quand la route est pleine de bosses et d'ornières, on dit qu'elle est :