grava (sustantivo femenino): Piedra machacada (o la arena más gruesa, que la mayor es de río) con que se cubre y allana el piso de los caminos, las calles de los jardines, etc.