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

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

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