Ce fichier traite des espaces vectoriels de dimension finie sur lesquels est défini un produit scalaire.