grignotis nom masculin (de grignoter) Vieux. Taille en traits courts que fait un graveur pour représenter des objets rugueux.