Mise à jour...

... la mise à jour d'hier n'est réellement effective qu'aujourd'hui : une mauvaise blague du serveur dont je me serais bien passé.