Définitionsalgorithme probabiliste