gravière (gravier + -ière; agent_person)
Carrière, d'où l'on extrait des graviers, et qui évolue souvent en étang