什么是 grava？ 什么是 grava？ Roca triturada en petits trossos que s'usa per construir camins i carreteres, per fer formigó, etc.