Lexicographic Gröbner bases of bivariate polynomials modulo a univariate one - Xavier Dahan (Journal of Symbolic Computation, 2022)