martinete de hinca de pilotes m Máquina empleada para hincar pilotes en un terreno. Diccionario de construcción y arquitectura