Effectivement, c’est bien clisp qui n’accepte pas l’argument ‘–dynamic-space-size 512’ quand je tente de lancer maxima avec les arguments par défaut (maxima -X ‘–dynamic-space-size 512’) directement en console. Si je supprime juste ‘–dynamic-space-size 512’ maxima semble opérationnel (en console et avec wims). L’argument ‘–dynamic-space-size 512’ est-il indispensable ou juste très fortement conseillé au cas où …?
Thomas Charon
Lycée Lumière à Lyon