Cattedrale di San Martino, Lucca, detail of the portal.