Mesures SRB pour les difféomorphismes de surface

Pour un difféomorphisme $C^r$ de surface avec $r>1$, Lebesgue presque tout point $x$ satisfaisant $\limsup\frac{\log \|d_xf^n\|}{n}>\frac{\log \|df\|_\infty}{r}$ est dans le bassin d'une mesure SRB.