orthogonal d’un sous-espace vectoriel