Pourquoi la pension des fonctionnaires est-elle historiquement plus élevée que celle des autres retraités ?