Définition et propriétés des ensembles compacts (tel que la compacité de l'image de la fermeture)