Définition marteline

Nom commun
- Petit marteau dont les sculpteurs et les marbriers se servent et qui a un bout en pointe, tandis que l’autre a des dents fortes de bon acier et forgées carrément pour gruger le marbre lorsqu'il est très dur, tel que le granit, les porphyres, ou bien à écraser les clous ou durillons.