Calcul de proba(N<=nanbNon), selon la loi hypergeometrique Efficace si
nanbNon est le plus petit effectif de contre-exemple Choix la meilleur
modelisation de A=>B (nanbNon) : A=>Y ou X=>B (N)
Calcul de proba(N<=nanbNon), selon la loi hypergeometrique Efficace si
nanbNon est le plus petit effectif de contre-exemple Choix de la
modelisation de A=>B (nanbNon) par la regle al�atoire A=>Y (N)
Recherche parmi dst est ses descendant les implications valides pour une
premisse "src" donnée les implications valides sont Ajoutées dans le Set
"implications"