Et bien non. Il n'est pas logique. Pour vérifier cela, rien de plus simple : poussez la résolution logique sans symétrie au maximum. Puis, vient un moment où il manque 2 points sur L2. Choisissez une résolution non symétrique pour ces deux points => on trouve le reste par logique sans symétrie et...oh...zut...solution logique mais non valide. Comme quoi, symétrie est bel et bien différente de logique.