The botanical garden of the University of Pisa