subst. masc. diminutif de marteau, qui sert aux Artisans qui travaillent sur des choses delicates, comme Graveurs, Orfevres, &c. On l'appelle aussi flatoir.

MARTELINE, est aussi une espece de marteau de Sculpteur servant à gruger le marbe, qui a une pointe d'un costé, & des dents de l'autre.