Let (B t) t ≥ 0 be a standard one-dimensional Brownian motion B 0 = 0 ∈ R, and let (L t) t ≥ 0 be the associated field of local times. Let T a be the first time at which the local time at zero exceeds a > 0