@Gaël : je pense, comme xals, que ce sont les distributions qui sont des OS, et que le débat Linux contre GNU/Linux est complètement dépassé !
Linux : c'est juste un noyau, tout le monde est d'accord.
GNU/Linux : Linux + outils GNU... c'est certes un OS, mais franchement minimaliste.
J'aurais du mal à considérer Mandriva, par exemple, comme une distribution GNU/Linux !
Quid de Xorg ? de KDE ? des outils Mandriva ? Tout cela fait partie de l'OS, et GNU et Linux, quoique centraux, n'en forment qu'une petite partie.

Donc, trop insister sur GNU/Linux me parait maintenant d'un autre âge. Utiliser le terme Linux, tout court, se justifie en revanche par l'usage (-> principe de moindre surprise de WP). D'autant plus que les OS à base de Linux sans les outils GNU ne courent pas les rues ! Je ne sais même pas si ça existe, d'ailleurs.
Or il faut bien un terme générique pour désigner tous les OS basés sur Linux, terme qui au vu des arguments qui précèdent ne peut être que "Linux".