https://123dok.net/document/q0570mgl-utiliser-axiomes-eorie-ensembles-exercice-emontrer-singletons-existe.html