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