The exact packing measure of Lévy trees

We study fine properties of Lévy trees that are random compact metric spaces introduced by Le Gall and Le Jan in 1998 as the genealogy of continuous state branching processes. Lévy trees are the scaling limits of Galton-Watson trees and they generalize the Aldous continuum random tree which corresponds to the Brownian case. In this paper, we prove that Lévy trees always have an exact packing measure: we explicitly compute the packing gauge function and we prove that the corresponding packing measure coincides with the mass measure up to a multiplicative constant.