modification du toString de Terme