Progressive Pension Formula and Life Expectancy Heterogeneity · Study