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 -