BeVoting Etude des systèmes de vote électronique

Des notions de preuves de correction et de complexité seront abordées ... La fonction modulo : MOD, prenant en entrée deux nombres entiers naturels a et b ...