Granidor

Granidor

, m. Espécie de caixa, em que se colloca a pedra lithográphica, para granir.