https://123dok.net/document/yd78p5o6-programme-colles-mp-semaine-espaces-euclidiens-préhilbertiens.html