Gravelled
(
p. p.
) of
Gravel
.