Je partage le même avis sur sur meilleur explicitation mathématique de l'algorithme de "proof of correctness" publié dans le livre Blanc cité par @linlove dans sont dernier post