[gull-org] Mentionner GNU dans le nom de l'association ?

[JM Nunes]

...
Stallman m'a demandé ce changement personnellement.

Continuons un peu la discussion sur la liste et, éventuellement, faisons 
  ce qu'il faudra faire dans l'AG extraordinaire de septembre.

Le point essentiel est de savoir si:
  - enlever linux du nom
  - changer linux en gnu/linux (ou gnulinux ou gnu+linux ou ...)
  - ne rien faire

Olivier à très bien résumé l'argumentaire de Stallman.
Personnellement, j'ai du mal à trouver des arguments pour le réfuter.

Avant du qui pour supprimer linux, qui pour gnu/linux, passons par le 
pourquoi. Je reprends donc les messages d'Anne et Olivier pour continuer 
la discussion:

> ...Pour ma part, dans le nom du GULL,
> je supprimerais totalement Linux. Logiciels libres suffit amplement.
> Linux n'en est qu'un parmi d'autres. Et ceux du GNU sont un ensemble
> important, surtout au niveau du système d'exploitation. Mais il y a
> encore pléthore de logiciels libres à d'autres niveaux. xorg, firefox,
> ooo, latex, nos lecteurs de messagerie ...

> ... Je sais que GNU ne veut rien dire pour le commun des
> mortels. Linux, oui. Grâce à des associations comme la notre en partie.
> Maintenant, nous devrions faire des efforts pour que GNU soit aussi mis
> en évidence et à terme reçoive la même reconnaissance que Linux dans le
> public.