Testeur Equivalence PCF probabiliste