Bassin houiller lorrain Prestation de service relative à l'exploitation et à la maintenance d'installations hydrauliques de sécurité nécessaires au pompage et au traitement des eaux minières