On se donne une fonction de E dans Union(E) tel que f(X) \in X. C'est pas très anti-intuitif dit comme ça