grava—Conxunto de pedras pequenas, usado en camiños, obras ou como material de drenaxe.