100 000ème pompe manuelle Vergnet Hydro en 2015