Un théorème de Ray-Knight lié au supremum des temps locaux browniens. (A Ray-Knight theorem related to suprema of Brownian local times) (Q1263885)

Let \(\alpha\) denote the first hitting time of 1 by the supremum over nonnegative values of the space variable of the Brownian local times. We give a complete description in terms of Bessel processes for the law of the process (in the space variable) of the Brownian local times at time \(\alpha\). The proofs rely on stochastic calculus, excursion theory and especially the Ray-Knight theorems on Brownian local times. This result is applied to give a different proof of Borodin's result concerning the law of the supremum of Brownian local times taken at an independent exponential time.