o pinocchino. Finitura di aspetto rustico ottenuta con l'applicazione sull'arriccio ancora fresco di ghiaie lavate e scelte, di granulometria compresa tra i 5 e i 10 mm, ben mescolate con legante molto fluido. Da pinocchio, con il significato di pinolo.