Je voudrais revenir sur un autre aspect de la discussion en cours, qu'a évoqué M. le rapporteur : l'âge moyen de départ. Le chiffre de 63,3 ans auquel vous avez fait référence correspond à l'âge moyen de départ à la retraite, en 2018, des salariés du régime général, hors départs anticipés. Ceux-ci inclus, l'âge moyen de départ est de 62,7 ans. En outre, ce chiffre ne concerne que les salariés du secteur privé. Dans le secteur public, les âges de départ sont plus faibles : ainsi, en 2016, l'âge moyen de départ était de 59,7 ans dans la fonction publique hospitalière et de 61,3 ans dans la fonction publique d'État et la fonction publique territoriale. Au total, en 2017, l'âge moyen de départ tous actifs confondus était de 62 ans et un mois : c'est ce chiffre-là qui devrait faire référence !