linus s'est désintéressé de linux ?