Basilika San Michele Maggiore, Pavia, Lombardei