Ghiaia fine, ghiaietta, da cui la locuzione intonaco a pinocchino a indicare una 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. La finitura ha avuto particolare diffusione fino agli anni Cinquanta del XX secolo. Da pinocchio, con il significato di pinolo.