80.5. On retiring, the employee is entitled to receive the indexed pension or the recomputed pension, whichever is greater.
If the greater amount is the indexed pension, the contributions paid by the employee since beginning to contribute again are refunded to him with interest computed as provided in section 76.