sous espace vectoriel supplémentaire