marteline

Noun

 * 1) A small kind of hammer, once used by marble workers and sculptors.