Oui, la rénovation d'un bureau à l'Elysée a bien coûté 930.000 euros