Loading paper
The exceptional simple Lie group $F_{4(-20)}$, after J. Tits | Tomesphere