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

- Retour -