Nom du cluster :
(pers /= {})
Liste des états :
(pers /= {} & \n dom_univ = {})
(pers /= {} & \n dom_univ /= {} & \n (val_droit |>> {ok})[dom_univ] = {})
(pers /= {} & \n dom_indus /= {} & \n (val_droit |>> {ok})[dom_univ] = {})
-
Retour
-