“…Si f est générique, on a≺ f =⊣ f d'après le théorème 6.3 ; ceci implique que f est un difféomorphisme transitif ; de plus, d'après [PR,R 1 ], ses points périodiques hyperboliques sont denses. D'après [Ar 1 , corollaire 19] dans le cadre conservatif (quand tous les points périodiques sont hyperboliques, voir [Ar 1 , paragraphe 1.5]), il existe une partie résiduelle de Diff 1 ω (M ) sur laquelle tout compact invariant transitif de M contenant un point périodique hyperbolique p est contenu dans la classe homocline de p. Ainsi, pour f ∈ Diff 1 ω (M ) générique (avec dim M ≥ 3), la variété M toute entière est incluse dans la classe homocline de chacune de ses orbites périodiques (qui sont toutes hyperboliques).…”