También se le conoce como punzón de zapatero.