J’ai trouvé : le package maxima-share n’était pas installé.
Le message d’erreur dans les log de maxima signale l’absence de trgsmp.mac :
file_search1: trgsmp.mac not found in file_search_maxima,system.
Or la procédure d’installation de WIMS stipule qu’il faut « Vérifier que le package share de Maxima a bien été installé, sinon l’installer séparément. Il fournit de nombreuses commandes utilisées dans les exercices wims (exemple trigsimp) »