Precise volume estimates in nonpositive curvature

We show that on a compact rank one manifold of nonpositive curvature the volume of spheres (hence also that of balls) has an exact asymptotic; it is purely exponential, and the growth rate equals the topological entropy.