ExtendeD, ce qui me serait utile, ce serait une description du format de .9xk (non signé ou avec une signature bidon, enfin ce qu'il faut pour avoir quelque chose d'utilisable), du moins tout ce qui n'est pas écrit dans la doc de TIFS.

Pollux, peut-être tu pourras bientôt compiler GTC avec TIGCC uniquement (sans TIFS).