girautensili
s. m. [comp. di girare1 e utensile]. – Nome generico di attrezzo destinato a portare un utensile che lavora con moto di rotazione; prende nomi particolari a seconda del tipo di utensile: giramaschi, girafiliere, ecc.
