gravière

Définition

Exploitation de carrière, d'où l'on extrait une grave.