OK. Mais de toute façon, il ne fallait pas que ce lien apparaisse dans wims !
En conclusion, il faut éviter de mettre des liens extérieurs à wims dans la documentation !
Plutôt mettre un lien sur le wiki de wimsedu par exemple, ce qui est plus facile à corriger si les liens mis changent de propriétaires !
Bernadette