Basilica Romana di S. Giovanni in Laterano.