Geodesic flows with positive topological entropy, twist maps and hyperbolicity

We prove a perturbation lemma for the derivative of geodesic flows in high dimension. This implies that a C 2 generic riemannian metric has a nontrivial hyperbolic basic set in its geodesic flow.