Bien sûr c'est une démarche naturelle : si l'on sait que pave, avec qui pave-t-il ? Actuellement on n'a pas mieux qu'une recherche informatique des possibles.
Je dois rentrer un peu dans les détails des algorithmes utilisés. Par exemple il est général qu'une solution en engendre plusieurs, via l'action du groupe affine.

Created by Mathematica  (January 22, 2004)