Partition_of_an_interval loading ...