Oui oui, sous Linux (Debian)

Et même avec gcc 3.4, je suis à 3 ko pour la version C (avec le flag -s)