./8: soit. Je ne me souvenais pas que la GPL était chiante à ce point. Les utilisateurs s'en foutent royalement, mais les sources sont à http://tict.ticalc.org/misc/ide.tar.bz2 .
./9: le fork de TIGCC n'a pas que ça à foutre de renommer les choses, vois-tu. Nous préférons nous concentrer sur les fonctionnalités et la proposition des fonctionnalités aux utilisateurs, plutôt que de mettre des bâtons dans les roues des autres. Chacun sa philosophie

Vais aller voir ce que tu as bien pu poster sur le forum de TIGCC/TICT.
[EDIT: aucune réaction sur le forum de TIGCC/TICT. C'est sans doute que tu n'as pas encore vu le topic ]