https://123dok.net/document/zlgxj3d6-notions-théorie-ensembles-jérôme-feret-diéns-inria-octobre.html