гравчик —
ГРАВЧИК а, м. graveur m. Резец, орудие для резьбы, письма и картин, по металлу или по дереву. Даль. Грабштих или грачик — стальной резец для резьбы на металле или дереве, называется также бюрень. Булгаков Худ. энц.
Словарь галлицизмов русского языка