Tout marche du premier coup !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!Testé sur EExec (kernel::LibsExec, kernel::exit et kernel::exec), qui fait maintenant moins de 900 octets (dont 300 de texte), et qui bouffe la mémoire colossale de
0 octets au run-time

^10
Testé aussi avec d'autres retours de valeur, données et adresse, tout bon.

Voici le patch :
Fichier joint : patch.diff
A noter que :
- j'ai laissé les retours de valeurs comme je l'avais implémenté. Les 4 octets perdus sont très vite rattrapés dans du code utilisateur. Mais c'est toi qui décide, la modif est minime à faire ; perso je préfère ma solution.
- faut vérifier absolument la table des types, doit y en avoir de faut, vu que je sais même pas à quoi ils correspondent (pas tous documentés). Yen a sûrement de faux.