Mathématiques, informatique, politique et poésie
Un espace topologique métrisable \(E\) est compact si et seulement si il est séquentiellement compact, c'est à dire si toute suite de \(E\) admet une valeur d'adhérence.
