Bonjour, voici ce que dit RMS dans http://www.gnu.org/gnu/linux-and-gnu.html : « [...] a Linux-based GNU system (or GNU/Linux system, for short). » et « When you're talking about this combination, please call it ``GNU/Linux''. » Et Debian, suivant RMS, appelle sa distribution : Debian GNU/Linux. ... a+ -- philippe batailler in girum imus nocte et consumimur igni