Oui, Android n'est justement pas un GNU/Linux! Brunni nous mettait "un linux standard" par opposition à Android, et je lui ai répondu que c'est GNU/Linux le bon terme.