J'ai réussi à passer à 3.64 par un lien dans la page de configuration du serveur (c'est sur un autre ordi, donc il faudrait que j'aille voir le nom exact...). En tous cas, ça a marché tout seul
Et puis, en réinstallant le paquet WIMS d'OFSET (par dessus l'installation précédente, sans même désinstaller), j'ai maxima qui marche
Pour cela, il faut ajouter le dépôt ofset (adresse :
http://debian.ofset.org.
Maintenant, il ne reste plus qu'à passer à 3.65 !