MetMat
Comment montrer qu'une famille est orthogonale puis orthonormale ? — ECG2 approfondies | MetMat