Propriétés particulières des ensembles compacts dans les espaces normés (par exemple, l'adhérence d'un ensemble compact est compact)