Combien gagne réellement le président de la République en France ?