Après un lemme technique sur la jauge d'un convexe, on démontre le théorème de Hahn-Banach analytique puis le théorème de Hahn-Banach géométrique (à adapter en fonction des leçons).
On se retreint à la dimension finie, c'est déjà largement assez long.