Près de 10 000 milliards de dollars changent de devise chaque jour — Anecdota