Hahn-Banach en dimension 2

Voila une preuve, propre, sans l'axiome du choix, du théorème de séparation de Hahn-Banach (géométrique) en dimension 2 : HB2

Je pense que l'idée de base est généralisable pour une démonstration au moins en dimension finie. Modulo un gros travail technique...

J'y réfléchi et on s'appelle !

ps : Toi qui aime Hahn-Banach et ce genre de beaux résultats, va écouter Les Improbables !