Matrix-F5 algorithms over finite-precision complete discrete valuation fields

Finally, asking for the same hypotheses on the highest-degree homogeneous components of the entry polynomials allows to extend our strategy to the affine case.