El Gobierno usará 9.330 millones del Tesoro y del Fondo de reserva para pagar la extra de las pensiones