solver terminé