Espaces vectoriels euclidiens — Jean-Denis Eiden