herrero de calzado (antiguo/formal)