Exercice 1, § 3

On suppose remplies les hypothèses du th. 1 du n° 1. Soit $h$ une fonction localement $\mu$-intégrable, telle que $p$ soit $(h.\mu)$-propre. Montrer que la fonction $b \to g(b) = \int h(t)d\lambda_b(t)$, définie localement presque partout dans $B$ (pour la mesure $v = p(\mu)$) est telle que $p(h.\mu) = g.v$.