C’est vrai, Linus est moins intransigeant et plus diplomatique que RMS ;-)