https://123dok.net/document/zpnxj1vr-théorème-bilinéarité-produit-scalaire-vecteurs-réel-linéarité-gauche.html