******************* Formal geometry and non-archimedean analysis I.