Weil_restriction loading ...