Implémentation partielle des fonctions pour l'union, l'intersection et déterminisation; implémentation totale et qui fonctionne des fonctions miroir et completer