Las campas de Armentia, escenario de las fiestas de San Prudencio