Produit scalaire et espaces euclidiens