Llamada también “San Juan de Letrán”.