L'état de départ : (UnUniversitaire : pers & \n UnUniversitaire : dom_univ & \n val_droit(UnUniversitaire) = ok)
L'état d'arrivée : (UnUniversitaire : pers & \n UnUniversitaire : dom_univ & \n val_droit(UnUniversitaire) /= ok)
 
Événement numero 1
Nom de l'événement : modif_droit
Condition de déclenchabilité : True
Condition d'atteignabilité : True

- Retour -