E7

Hans Freudenthal a travaillé sur E7. (voir Wikipédia)
"La forme compacte réelle de E7 est le groupe d'isométrie d'une variété riemannienne de dimension 64 appelé plan projectif quateroctionique. Ce nom vient du fait qu'il peut être construit en utilisant une algèbre qui est construite comme produit tensoriel des quaternions avec les octonions."
N'y a-t-il pas un côté poétique dans ce plan quateroctionique engendré par la rencontre des quaternions avec les octonions ?