[Pol([1,0,-12,0,23,0,-12,0,1]),7]
