Existence d'un produit scalaire rendant une somme directe orthogonale? 🧐