démontration de taille d'oliviers