$KERNEL ne se vendra pas automatiquement, même si cela signifie gagner quelques centaines de dollars de moins, mais je suis aussi satisfait.