The Collaborative International Dictionary
marteline
marteline \mar"te*line\, n. [F.] A small hammer used by marble workers and sculptors.
Wiktionary
marteline
n. A small hammer used by marble workers and sculptors.