ldivide: refactor the implementation
Thibaud, n’oublie pas que j’aimerais que tu déportes une partie des calculs qui sont dans to-expansion vers expansionset, et possiblement polynomialset. Regarde ce qui est fait dans le cas de compose par exemple, ou encore conjuction.