Normally hyperbolic invariant manifolds, computer validations.