  We study the geometry of the action of SL(2,R) on the projective line in
order to present a new and simpler proof of the Herman-Avila-Bochi formula.
This formula gives the average Lyapunov exponent of a class of 1-families of
SL(2,R)-cocycles.
