Correction de kernel.c pour les tests