https://123dok.net/document/zpn7vk97-i-cardinal-d-un-ensemble-fini.html