graveler

noun

1.
a quarry for gravel
2.
filter consisting of a layer of sand or gravel for filtering water