Que pourrait-il y avoir de plus que $KERNEL