---------------------------------

[FLEURISTIN]

--------------

[pascal16]

j'ai un peu mal à définir E barre quand x est dans E barre union G.

pour moi les coordonnées d'un élément est du type ((x;y);(z;t))

[FLEURISTIN]

-------------

[pascal16]

mon interprétation semble erronée en effet
(ExF) ⋃ (GxH)
un élément de cet ensemble est un vecteur à 2 composantes qui fait parti soit de (ExF), soit de (GxH)

(E⋃G)x(F⋃H)
un élément de cet ensemble est un vecteur à 2 composantes dont la première fait partie de (E⋃G) et la seconde de (F⋃H).
On voit qu'on peut avoir des vecteurs dont la première composante est dans G et la seconde dans F, ce qui n'est pas le cas dans (ExF) ⋃ (GxH). idem avec F et H, c'est donc ce qui est "retiré".