Basilica di S. Michele Maggiore - Pavia, PV