Cattedrale di San Martino, ou simplesmente Duomo di Lucca