Ensembles compacts dans les espaces métriques et leur association topologique avec les axiomes de séparation (comme les axiomes de séparation des ensembles compacts dans les espaces métriques)