Le diamètre d'une feuille