Le terme gravier désigne une roche sédimentaire très répandue. Il s'agit généralement d'une accumulation de petites pierres qui ont été taillées en rond dans les rivières et les ruisseaux et dont le diamètre des grains est compris entre 2 mm et 63 mm, ce qui les rend plus grossiers que le sable grossier.

Classification et désignation :

Le gravier est un sol rocheux meuble, qui se définit exclusivement par la taille de ses grains. Le gravier au sens technique du terme peut avoir différentes formes de grains (par exemple, ronds, à arêtes vives), qui sont soit créés par des processus naturels, soit produits artificiellement (par exemple dans des installations de broyage).

Le gravier représente une matière première importante pour l'industrie de la construction et est utilisé entre autres :

• Dans le béton et le mortier en tant que granulats
• Dans les travaux de terrassement comme matériau en vrac
• Pour le drainage dans un sous-sol humide comme couche filtrante
• Dans la construction routière comme agrégat pour les couches de base
• Dans le domaine du jardinage et de l'aménagement paysager
• Pour le gravillonnage des toits ou des bords de toit