smoothing, composition, differentiable functions,conjugation of torus maps, KAM theory