ajout dans l'algo de copoint d'un test de compatibilité en fin d'algo

lib/copoint/imperativeCCNP.ml

@@ -160,6 +160,8 @@ let find_compatible_order (type elt) diss =
   let module D = struct type t = elt let d = diss.d end in 
   let module M = Make(D) in 
   try 
-    Some (M.find_compatible_order (Array.of_list diss.elements))
+    let order = M.find_compatible_order (Array.of_list diss.elements) in 
+    if Dissimilarity.is_compatible_order diss (Array.to_list order) then Some order
+    else None 
   with 
     | M.Not_Robinson -> None 

lib/copoint/robinsonCCNP.ml

@@ -175,6 +175,8 @@ let find_compatible_order (type elt) diss =
   in 
   let module M = Make(D) in 
   try
-    Some (M.find_compatible_order diss.elements)
+    let order = M.find_compatible_order diss.elements in 
+    if Dissimilarity.is_compatible_order diss order then Some order
+    else None 
   with 
   | M.Not_Robinson -> None