Mesures SRB pour les difféomorphismes C^r de surface

Pour un difféomorphisme $C^\infty$ de surface, 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 du cas $C^r$, $r>1$.