MetMat
Comment calculer la projection orthogonale $p_F(x)$ à partir d'une base orthonormée $(u_1,\dots,u_k)$ de $F$ ? | MetMat