Separatrix, Invariant manifolds, KAM