sous-espace vectoriel supplémentaire