Réalisation (prise de vue et mise en page) : Stéphane Dugowson
Opérateur * (suite)
(nécessité des 2-réduction) [attention, cette partie contient une erreur, laquelle ?]
(nécessité des 2-réduction, suite) [attention, cette partie contient une erreur, laquelle ?]
[pause]
Opérateur * [correction de l'erreur précédente : pour le dual, les 1-réductions suffisent, en fait]
Bidual : calcul de R**, et comparaison avec R. Nécessité des 2-réductions (cette fois c'est juste)
R** < R : lemme de l'étoile