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

- Retour -