Merci pour l’info !
C’est fait de mon côté : wims.unice.fr est désormais en 4.09c, compilé le 2015-01-07.

• Cette réponse a été modifiée le il y a 9 années et 11 mois par Olivier.