Axiome de la compacité : conditions équivalentes