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.
nom masculin invariable (Réf. ortho. nom masculin)