peu importe, on sait que c'est Kernel qui gagne