Exact dimension of Furstenberg measures

For a probability measure $\mu$ on SL d ®, we consider the Furstenberg stationary measure on the space of flags. Under general non-degeneracy conditions, if $\mu$ is discrete and if g log g d$\mu$(g) < +$\mathrm{\infty }$, then the measure $\nu$ is exact-dimensional.