conjugation of torus maps, KAM theory, non-perturbative conjugation, Whitney differentiability