| ![]() ![]() ![]() ![]() ÉPINÇOIR n. m. XVIIe siècle. Dérivé d'épincer. TRAV. PUBL. Gros marteau court, à biseau peu tranchant, utilisé pour fendre les pierres de taille ou pour tailler les pavés. |
| ![]() ![]() ![]() ![]() ÉPINÇOIR n. m. XVIIe siècle. Dérivé d'épincer. TRAV. PUBL. Gros marteau court, à biseau peu tranchant, utilisé pour fendre les pierres de taille ou pour tailler les pavés. |