Enfin bon, le but c'est de lui expliquer comment on fait un truc de calcul symbolique, j'espere que c'est plus clair maintenant.