@Vincent, j’ai enfin lu votre long commentaire du début (je l’avais zappé !!!).

Et je dois dire que le système des chiffres tirés au sort au début me semble très astucieux et permet de contourner le problème de la vérification formelle du système de manière très élégante (mieux qu’un système de redondance, par exemple). J’y ai d’ailleurs répondu en y ajoutant quelques précautions utiles selon moi.

Tient-on là une procédure fiable ? J’en ai bien l’impression. Comme en plus le système et sa preuve sont simples, la confiance sera au rendez-vous aussi. Dans ce cas, je n’ai plus d’argument contre le vote électronique s’il revêt cette forme-là et qu’on arrive effectivement à prouver cette procédure.