Pour mettre fin à cette discussion, nous tombons d'accord consensuellement à l'unanimité sur l'utilisation du terme « GNU/Linux » en lieu et place de « GNU-Linux » parce que RMS l'a toujours écrit comme ça. Comme nous n'arrivons pas à nous mettre d'accord, je propose que nous nous en tenions à cet argument. -- Jérôme Marant