Implémentation d'intersection et ajout d'une fonction nouvelles_transitions_IU pour factoriser le code entre union et intersection.