Title: Riemannian geometry in infinite dimensional spaces,
Abstract: We lay foundations of the subject in the title, on which we build in another
paper devoted to isometries in spaces of Kähler metrics.