comment prouver que 2 programmes de calcul donnent le même résultat quelque soit le nombre choisi au départ?