Значение слова ГРАВИЙ в Современном толковом словаре, БСЭ

ГРАВИЙ

(от франц. gravier), рыхлая крупнообломочная осадочная горная порода, сложенная окатанными обломками пород и минералов размером 1-10 мм. Применяется главным образом в качестве заполнителя для бетонов и в дорожном строительстве.

БСЭ. Современный толковый словарь, БСЭ.