(pers = {} & \n  dom_indus = {}) [ ] [ ] modif_droit_insc_indus [ ] [ ] modif_droit_insc_indus [ ] [ ] modif_droit_insc_indus (pers = {} & \n  dom_indus /= {}) [ ] [G] modif_droit_insc_indus [ ] [G] modif_droit_insc_indus [ ] [G] modif_droit_insc_indus [G] [ ] download_indus\n[ ] [ ] modif_droit_insc_indus\n[ ] [ ] modif_droit_insc_indus_2 [G] [ ] download_indus\n[ ] [ ] modif_droit_insc_indus\n[ ] [ ] modif_droit_insc_indus_2 [G] [ ] download_indus\n[ ] [ ] modif_droit_insc_indus\n[ ] [ ] modif_droit_insc_indus_2 (pers /= {} & \n  dom_indus /= {} & \n  (val_droit |>> {ok})[dom_indus] = {}) [G] [ ] subscription_indus [G] [ ] subscription_indus [G] [ ] subscription_indus [G] [ ] download_indus\n[ ] [G] modif_droit\n[G] [G] subscription_indus\n[ ] [G] modif_droit_insc_indus\n[ ] [ ] modif_droit_insc_indus_2 [G] [ ] download_indus\n[ ] [G] modif_droit\n[G] [G] subscription_indus\n[ ] [G] modif_droit_insc_indus\n[ ] [ ] modif_droit_insc_indus_2 [G] [ ] download_indus\n[ ] [G] modif_droit\n[G] [G] subscription_indus\n[ ] [G] modif_droit_insc_indus\n[ ] [ ] modif_droit_insc_indus_2 (pers /= {} & \n  dom_indus /= {} & \n  (val_droit |>> {ok})[dom_indus] /= {}) [ ] [G] modif_droit\n[G] [G] subscription_indus\n[ ] [G] modif_droit_insc_indus [ ] [G] modif_droit\n[G] [G] subscription_indus\n[ ] [G] modif_droit_insc_indus [ ] [G] modif_droit\n[G] [G] subscription_indus\n[ ] [G] modif_droit_insc_indus [G] [G] subscription_indus\n[ ] [G] modif_droit_insc_indus [G] [G] subscription_indus\n[ ] [G] modif_droit_insc_indus [G] [G] subscription_indus\n[ ] [G] modif_droit_insc_indus [G] [ ] download_indus\n[ ] [ ] modif_droit\n[G] [G] subscription_indus\n[ ] [G] modif_droit_insc_indus\n[ ] [ ] modif_droit_insc_indus_2 [G] [ ] download_indus\n[ ] [ ] modif_droit\n[G] [G] subscription_indus\n[ ] [G] modif_droit_insc_indus\n[ ] [ ] modif_droit_insc_indus_2 [G] [ ] download_indus\n[ ] [ ] modif_droit\n[G] [G] subscription_indus\n[ ] [G] modif_droit_insc_indus\n[ ] [ ] modif_droit_insc_indus_2 (pers = {}) (pers /= {})