oui ça j'avais bien compris mais effectivement on ne parle pas de la même chose... je disais que je ne vois pas pourquoi (ie il n'est pas prouvé que) dans certains cas tu serais *obligé* de faire une hypothèse (ie qu'il n'existe pas de méthode (connue ou inconnue) permettant de déterminer le résultat sans faire d'hypothèse)

En d'autres termes, je veux dire que si ça se trouve quand tu es "obligé" de mettre un chiffre au hasard c'est juste que t'es mauvais et en fait t'es pas vraiment "obligé". Sinon (je dévie un peu de la question ^^) la méthode de l'hypothèse à le défaut de ne pas prouver que la solution est unique, justement (on fait confiance au concepteur, ok, mais moralement c'est pas très satisfaisant). Enfin sauf si tu explores tout l'arbre, évidemment, mais bon s'il est grand... . C'est pour ça je pense que Moumou disait qu'un algorithme qui donnerait des grilles insolubles autrement que par ce moyen ne serait pas super, mais je ne vois toujours pas pourquoi ça existerait