Este monumento que ya en el siglo XIII era conocido como San Pedro el Mayor.