JO de Paris : une facture de près de 9 milliards d'euros pour l'instant, une des éditions les moins coûteuses de l'histoire moderne