squalyl (./110) :
J'aimerais que t'aies raison

mais si c'est bien http://en.wikipedia.org/wiki/Nucleus_RTOS alors non c'est totalement différent.

A ce propos,vu que la TI-Nspire contient 32 Mo de NAND Flash et que seulement 27.8 Mo sont visibles pour le soft et la mémoire de stockage,il semblerait que Nucleus RTOS soit stocké dans ces 4.2 Mo manquants.