Ben les binaires non-système et non-root, dans ma distrib, sont dans /usr/bin, autant rester cohérents.

Nan, mais comme Kevin, je parlais du répertoire "tigcc" qui est actuellement /usr/local/tigcc, pas des binaires qu'il peut - ou pas - contenir