A hyperbolicity criterion for a class of diffeomorphisms of an infinite-dimensional torus. (1st February 2022)