https://123dok.net/document/y9621kjj-en-enlevant-une-base-additive-une-partie-infinie.html