[cnet France] Doit-on écrire Linux ou GNU/Linux?