A Gérardmer, fin probable du pompage de l'eau du lac "dans quelques jours"