-Z all : ne pas construire l'automate
Lorsqu'on désactive l'automate, on ne devrait pas construire l'automate. Ce n'est pas le cas pour l'instant pour les résultats de #3260 (closed) (mais c'était intéressant pour voir le temps de construction de l'automate). En temps normal, si on ne veut pas d'heuristique, on ne veut pas prendre du temps / de la mémoire avec l'automate.