The Collaborative International Dictionary of English v.0.48:

marteline \mar"te*line\, n. [F.]
   A small hammer used by marble workers and sculptors.
   [1913 Webster]