grava machacada f Grava resultante del aplastamiento mecánico de rocas o cantos rodados. Diccionario de construcción y arquitectura