A près de 80 milliards, les retraites des agents publics représentent un quart des dépenses