ГРАВИЙ

Современный энциклопедический словарь:

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

Толковый словарь русского языка Д.Н.Ушакова:

ГРАВИЙ, гравия, мн. нет, м. (фр. gravier). Крупный песок.

Новый словарь русского языка под редакцией Т.Ф.Ефремовой:

Гравий
м.
Рыхлая осадочная горная порода, состоящая из округлых камешков, применяющаяся в строительных и дорожных работах.

Толковый словарь живого великорусского языка В.И.Даля:

ГРАВИЙ м. франц. крупный песок, дресва, хрящ.