¿A cuánto asciende la pensión vitalicia de un expresidente que años antes ya había cumplido la función de vicepresidente?, ¿tiene derecho a dos pensiones? ¿recibiría la que corresponde al cargo que está dejando o la del periodo anterior?