Nom du cluster : (UnUniversitaire : pers)
Liste des états :
(UnUniversitaire : pers & \n UnUniversitaire : dom_univ & \n val_droit(UnUniversitaire) = ok)
(UnUniversitaire : pers & \n UnUniversitaire : dom_univ & \n val_droit(UnUniversitaire) /= ok)

- Retour -