Source: https://www.imo.universite-paris-saclay.fr/~michel.rumin/enseignement/S2PMCP/4-Bases%20et%20dimension.pdf