Vérification que les propriétés de liaisons et d'intersections sont respectées
Début des test d'appartenances
Premier operateur antiwedge
pour l'instant, représenté par &, mais on peut petu-être trouver mieux
Création des antiwedge dans GCA_vector
Le code est un peu sal...