Partons d'un ensemble $E$ qui est un $\Kk$-espace vectoriel. Considérons $F$ un sous-ensemble de $E$. La partie $F$ sera un \defi{sous-espace vectoriel} de $E$ si ...