Ajout du squelette pour kernel.c