- Implement Euclidian division in `euclidian_division_opt`. - Rename `Polynomial.Make` in `Polynomial.MakeUnivariate`. - add `degree_int` returning the degree of an univariate polynomial as an integer, `-1` being for the polynomial `P(X) = 0`. - Functorize tests when possible, and generate random prime fields for testing purposes.