TI n'est pas sensé publier tout le code source de la Nspire, étant donné qu'il y a du code GPL dedans ?