In this section, the dimension of $E$ is 12. We assume that there exists in $\mathscr{L}(E)$, a family $(f_{1}, f_{2}, f_{3}, f_{4})$ of antisymmetric orthogonal automorphisms satisfying: $\forall i \neq j, f_{i}f_{j} + f_{j}f_{i} = 0$. We fix $x \in E$ of norm 1 such that $\langle f_{1}f_{2}f_{3}(x), x \rangle = 0$. Show that $F = (x, f_{1}(x), f_{2}(x), f_{3}(x), f_{1}f_{2}(x), f_{1}f_{3}(x), f_{2}f_{3}(x), f_{1}f_{2}f_{3}(x))$ is an orthonormal family.