bush hammer in Spanish

A square-headed hammer with spikes used in stoneworking to either even the surface before polishing, or give it a pockmarked and weathered aspect.