operaio che mediante utensili a mano (girafiliere o giramaschio) dà la filettatura voluta
girautensili, sm. tecn. giramaschi o girafiliere (nell'uso comune).
portafilière, sm. invar. girafiliere. = comp. dall'imp