(Ampl.) El gasto en pensiones sigue batiendo récords, con 8.078 millones en octubre, un 3,1% más