grava
f.De or. prerromano
- Conjunto de guijas (1 piedras lisas y pequeñas).
- Piedra machacada con que se cubre y allana el piso de los caminos.
- Mezcla de guijas, arena y a veces arcilla que se encuentra en yacimientos.
Fuente: Diccionario de la RAE (23.ª ed.)