A combien est payé le président des Etats-Unis et que gagne-t-il une fois à la retraite ?