Toujours dans les bugs de lenny, wxmaxima 0.84 ne lance plus maxima 5.17, j'ai mis sur mon dépot deb http://boisson.homeip.net/debian lenny divers une version patchée de wxmaxima 0.84-1 fonctionnant avec maxima 5.17 et ayant l'impression qui fonctionne. paquet wxmaxima (i386 et amd64) version 0.84-1 Sources sur deb-src http://boisson.homeip.net/source/ ./ François Boisson