punzonatore
punzonatóre s. m. (f. -trice) [der. di punzonare]. – Chi esegue operazioni di punzonatura; in partic., nell’industria siderurgica, l’operaio che ha il compito di contrassegnare con numeri, lettere, ecc., a mano o a macchina, laminati e profilati coi relativi punzoni.