(defun +normal-polynome (normal-polynome1 normal-polynome2)
"Returns the sum of NORMAL-POLYNOME1 and NORMAL-POLYNOME2,
assumed to be in normal form. The resulting polynome
is ordered but may have leading zeros."
(let ((degree1 (ndegree normal-polynome1))