6.1261 En logique, procédure et résultat sont équivalents. (D'où l'absence de surprises.)