fred a écrit :
Oui, mais en même temps, si la lib gmp3 est une dépendance de maxima, aptitude aurait du l'installer ... (enfin je dis ca mais je peux me tromper ;))."georges.subrenat-debian" <georges.subrenat-debian@laposte.net> a écrit :Et lorsque je fais en console, $maxima, j'obtiens: /usr/lib/maxima/5.10.0/binary-gcl/maxima: error while loading shared libraries: libgmp.so.3: cannot open shared object file: No such file or directoryEt donc ? As tu vérifié que la lib gmp3 était bien installée, par exemple, comme ça, en passsant ?