envl / td01 : Linux vs GNU / Linux
Created by: nvansteenkiste
désolé pour ce 1er issue un peu trollesque. et donc, sans vouloir lancer un troll, je me rappelle de rms qui demande de parler de GNU / Linux plutôt que simplement Linux. je vois que dans le td01, on parle simplement de Linux. personnellement, je préfère GNU / Linux (en tout cas quand on l'écrit). cependant, si c'est un choix de la majorité, no problemo pour moi et on ferme cet issue asap :-)