J'ai aussi pensé que le problème pouvait venir de kernel.h, mais sans trouver quoi (ça m'aurait étonné de moi ^^). On va attendre l'avis de Monsieur Kernel.h. En attendant, ça marche très bien sans ce switch.