> Debian GNU/Linux et Debian GNU-Linux ne vont pas > signifier pour eux > deux produits différents. C'est aussi mon point de vu. Il n'y a pas grand mal à utiliser la typo françaises dans ce cas. Les lecteurs feront le lien sans problème. Antoine Hulin (qui a moins de temps libre que les mois précédents. L'intégration des relectures de P. Batailler et N. Bertolissio dans le guide de référence du développeur est en cours.)