Propriétés topologiques des ensembles compacts et leur lien avec les applications continues (par exemple, le fermé d'un ensemble compact est compact)