Catégorie:Théorème de compacité