À combien s’élève la retraite de François Hollande?