https://123dok.net/document/yr3jnvjp-chapitre-ensembles-finis-infinis-ensembles-finis.html