I will outline how to extend classical results in the theory of euclidean lattices to infinite rank. When applied to polynomial rings, these results will allow us to describe an analogue in arithmetic geometry to the notion of affine algebraic variety. We will provide applications to the study of approximation of holomorphic functions by polynomials with integral coefficients. Joint work with Jean-Benoît Bost.