C'est bizarre, le truc du ngetchx() comme ça ne devrait pas marcher. Le fait que ça passe avec GCC4TI c'est carrément louche. La seule chose qui pourrait expliquer c'est que GCC4TI rajoute un flush du clavier dans le stub (ou le kernel s'il en utilise un) pour les noobs.