Kevin : Oui la taille des binaires est le critère prioritaire. C'est pour ça que GTC est préférable à GCC -Os et le mode kernel recommandé.