Finalisation de l'algorithme de Karatsuba dans la fonction polynomial_prod
et corrections mineures