picchierello
picchierèllo (o picchiarèllo) s. m. [der. di picchiare1]. – Martellino d’acciaio a due punte, usato dagli scultori per lavorare il porfido.