Grube
nom populaire de Fouchy, employé par les Allemands (1873-1874 en concurrence avec Fouchy, puis 1875-1919).