Kevin Kofler (./19026) :
Android utilise Linux, tout comme GNU/Linux utilise Linux. GNU utilise Hurd.
C'est surtout que GNU n'est pas franchement utilisable...
Et si tu dis Android et Linux, tout le comprend ce que tu veux dire. Bref, autant en rester là

Mais à la rigueur, dire Android, KDE ou Gnome serait encore plus pertinent
