marteline

n.
  1. A small hammer used by marble workers and sculptors.