j´ai un problème dans un exo sur les polynômes : c´est pour déterminer les racines d´un polynôme, donc je fais un solve et la des rootOf apparaissent, avec à chaque fois un "index" genre RootOf(...,index=1)
Et ensuite quand je fais un allvalues il me fait "redundant option RootOf(...,index=3)", alors que quand je détermines les racines une par une, il ne me dit rien. Ca peut venir où ?