graver

Sustantivo
  1. Instrumento para grabar o inscribir sobre una superficie
    Utilizó un graver para tallar la piedra.