La cittadella di Pavia: una vocazione verde. Il giardino di Santa Croce