Introduire les formes bilinéaires et leur représentation
Espaces préhilbertiens réels / Isométries vectorielles sur un espace euclidien et matrices orthogonales / Endomorphismes auto-adjoints sur un espace euclidien et matrices symétriques