graver
noun
°a burin.
°a carver or engraver.