« Espace préhilbertien réel/Exercices/Projection orthogonale » : différence entre les versions