Folco (./1274) :J'ai donc rajouté ça dans mon .bashrc :TIGCC="/usr/local/share/gcc4ti" export PATH=$PATH:$TIGCC/bin
TIGCC="/usr/local/share/gcc4ti" export PATH=$PATH:$TIGCC/bin