Pas de GPL3 pour le noyau de Linux