doc solver ok, à vérifier si possible