Et le plus important : j'ai gagné le pari donc... quand va-t-il officiellement changer de nom ?
Nous risquons de débattre de ce dernier point pendant un moment. Heureusement, nous ne sommes plus obligés de convaincre quiconque. Et nous avons le temps.