gravilla f. Producto de la trituración de una roca cuyos elementos tienen un grosor máximo de 25 mm: cubrieron el arcén de gravilla.