Théorème Carathéordory + enveloppe convexe d'un compact

Démo théo Carathéodory + cor enveloppe convexe compact est compacte.