Modification du toString de solver