Partition_of_a_set loading ...