Faut-il désindexer les retraites les plus élevées pour faire des économies ?