Source: https://www.imo.universite-paris-saclay.fr/~rumin/enseignement/S2PMCP/3-Espaces vectoriels.pdf