Couvent des Carmes, jardin botanique