"Puerta de Peñaranda o de San Hilario" y más...