piedra machacada f Piedra que resulta del aplastamiento mecánico de rocas. Diccionario de construcción y arquitectura