Bon, je sais que je pinaille, mais Android n'est PAS un dérivé de GNU/Linux, mais que de Linux.
RMS nous a tellement lavé le cerveau que maintenant, dès qu'on veut dire Linux, on le remplace automatiquement par GNU/Linux, même que ce n'est pas nécessaire.

Sur le fonds, rien de bien nouveau sous le soleil, mais un bon article vers lequel renvoyer des personnes qui découvriraient le débat...