Mouais, on joue énormément sur les mots et chacun y va de son interprétation, mais c'est une habitude avec Linux
.
Pour rejoindre Monsieur Cacao, Linux = le noyau Linux, le système GNU/Linux, tout système utilisant le noyau Linux, ou encore une Distro Linux ?
Dit-on gif ou jif ? Considère t-on en 2020 que digital = numérique lorsque le contexte est assez clair ? Répondez maintenant en étant très têtu, comme tout bon geek qui se respecte.
Et pour aller plus loin, qu'entend t-on par "grand public" ? Un outil utilisé par les masses sans que cette dernière ait conscience de l'utiliser est-il grand public ? A se compte là, Java est aussi grand public. On l'a bcp trouvé (et le trouve tjrs) dans les téls, smartphones, lecteurs DVD, box, etc.
"Linux et "grand public" sont donc des termes soumis à interprétation (quitte à regarder le dico, et
proposer la définition trouvée), donc il faut bien prendre le temps de les définir avant d'avancer quelque chose. Tout le monde n'a pas le dico en tête, et la définition du dico peut différer de l'usage.