https://123dok.net/document/zlg11x96-problème-glicksberg-idéaux-fermés-type-fini.html