Extension_of_a_valuation loading ...