weil_enracinement_ebox