An excess sphere theorem Peter Petersen; Shun-Hui Zhu — 1993 Annales scientifiques de l'École Normale Supérieure