Définitionsalgorithme randomisé