Théorème de compacité, pas de théorie des ensembles finis, G kcoloriable ssi sous graphes finis le sont