https://123dok.net/document/z3d3ow07-comment-d-efinir-la-notion-de-produit-scalaire.html