Une météorite ce serait moins grave qu’un ordinateur qui n’exécute que des programmes permettant d’élire un certain Nicolas S. .

Vous devriez relire l’article et le reste du fil. Pour un système d’élections, tellement de monde à intérêt à la fraude qu’on ne peut pas se permettre de laisser toutes ces portes ouvertes. D’où l’obligation de vérifications super chiadées. Même prouver le programme de vote avec Coq ou PVS ne suffit pas.