Le forum de XCAS

solve([a+b/c=-3,a+b/(2+c)=0,(-2*b)/(2+c)^2=-2],[a,b,c]) renvoie [[-3,0,-2],[(-6)/5,36/25,(-4)/5]]
le premier vecteur n'est pas solution.

oui, car xcas commence par multiplier les equations fractions rationnelles par le denominateur pour se ramener a un systeme polynomial, dont le 1er vecteur est bien solution. Il faudrait verifier a posteriori les solutions, mais ca peut etre tres couteux, voir ne pas fonctionner du tout (quand il y a des extensions algebriques par exemple). Pour l'instant je laisse comme ca, on verra si j'ai une idee un jour ou si quelqu'un me suggere une solution...

Désolé d'avoir posé cette question rebattue mais j'avais besoin d'une explication claire pour un sujet dans un forum.
Le problème posé pouvait se résoudre avec Xcas ainsi:
f(x):=a+b/(2x+c)
solve([f(0)=-3,f(1)=0,f'(1)=-2],[a,b,c])

Bon, en y reflechissant, je vais experimenter une solution peu couteuse qui consiste a remplacer dans le systeme les variables par leur valeur et simplement detecter si ca donne des undef, et eliminer les solutions correspondantes.