@Alda Android fournit Linux sans GNU. Et Debian fournit GNU, mais pas nécessairement Linux.