La distribution Linux la plus populaire vient de recevoir une grosse mise à jour