Rappel de cours sur la notion de projection orthogonale