Pensiones cesantes pensionistas y jubilados (ley de 3 de octubre de 1835)