Électricité de France. La Division technique générale de la production hydraulique — Electricité de France. Service de la production hydraulique