Hard balls gas and Alexandrov spaces of curvature bounded above