Mesures SRB pour les difféomorphismes de surface

Pour un difféormorphisme de surface $f$ de classe $C^\infty$, Lebesgue presque tout point $x$ satisfaisant $\limsup_n\frac{1}{n}\log \|d_xf^n\| >0$ est dans le bassin d'une mesure SRB. On discutera aussi le cas $C^r$ avec $1<r<+\infty$.