Le vote par procuration

Cas procurations
Rédigé par Henri Habrias
version n° 1 du 18-05-2005
________________________________________________

Un électeur qui ne peut pour une des raisons énoncées par la loi voter en personne
lors d'un scrutin, peut donner procuration à une autre personne appelée le
mandataire. La personne qui donne procuration s'appelle le mandant.

L'Article L.75 du code électoral énonce que : "Le mandant a toujours la faculté de
résilier sa procuration. Il peut donner une nouvelle procuration." Et l'Article L.76
énonce que : " Tout mandant peut voter personnellement s'il se présente au bureau de
vote avant que le mandataire ait exercé ses pouvoirs."

Bien sûr, il se peut qu'aucun des deux ne vote.

Voici la spécification qui a été faite en LTS par Dudule. Vous allez utiliser LTSA
pour analyser et faire les vérifications de cette spécification.

range MANDATAIRES =0..1
PROCURATIONS = PROCU[0],
PROCU[mandataire: MANDATAIRES]=(donneProcurationA[mandataire :MANDATAIRES] -> procu
->annule -> plusDeProcu -> PROCU[mandataire +1]).
VOTE = (procu -> voteMandataire[mandataire :MANDATAIRES] -> STOP | voteMandant
->STOP | fermetureBureau -> STOP).
||VOTE_PAR_PROCURATION =(PROCURATIONS || VOTE).

Question n° 1

Rédigez vos constatations

Question n°2

S'il y a erreurs, énoncez-les par écrit.

Question n° 3

Donnez votre solution.