Preuve du théorème de compacité à partir du théorème de complétude et de celui de correction. Puis application aux graphes : un graphe est k-coloriable ssi tout sous graphe fini l'est.