Pour rapporter un bug, pensez a regarder le numero de version. Pour cela:
- sous mac/windows, faites version()
- sous linux debian compatible, faites dans un terminal
dpkg -l giac
no de version
Modérateur : xcasadmin