Diccionario de arquitectura

grava machacada

f

Grava resultante del aplastamiento mecánico de rocas o cantos rodados.

Diccionario de construcción y arquitectura