Retraite : un bug qui persiste pour les pensions de ces anciens fonctionnaires