grava—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.
Del francés gravele.