1. Synonyme de tire-clou.Le marteau de pompe a un tire-clous au bout de son manche.[...] d'une enclume servant au travail des ardoises et pouvant se piquer sur les chevrons ; d'un tire-clous ; d'un compas de fer pour tracer les pureaux ; d'un cordeau, et enfin d'échelles, cordages et chevalets.