Exercice sur les espaces préhilbertiens réels (produit scalaire - projection orthogonale - distance)