https://123dok.net/document/qo51j3r5-td-cardinalité-axiome-du-choix.html