La source du graphe de décomposition modulaire

Lors de l'introduction de la décomposition modulaire des graphes , la plupart des auteurs utilisent le graphe à 11 sommets, que je copie de wikipedia.

La question est de savoir qui en est le concepteur d'origine. (Je ne demande pas qui a dessiné ce graphique pour wikipedia, mais la source originale de celui-ci.)

La page wikipedia a été créée en décembre 2006. La première source que je peux trouver est la thèse d'habilitation de Christophe Paul datée du 17 mai 2006. (Je n'ai pas cherché intensivement.)

Sur proposition de Louis Esperet, j'ai contacté Philippe Gambette et Christophe Paul, qui m'ont rapidement confirmé. Paul a conçu ce graphique pour sa thèse d'habilitation. Lorsqu'ils ont créé une page Wikipedia pour la décomposition modulaire, ils ont utilisé ce graphique. C'est peut-être le début de sa large adaptation. Il figure également dans l'enquête bien connue de Michel Habib et Christophe Paul (DOI: 10.1016 / j.cosrev.2010.01.001).

Quelques belles propriétés de ce graphique:

• c'est un graphe de permutation
• son nœud principal (le taureau) est un graphe premier contenant un sommet qui évite tout P4 induit. Lorsqu'un tel nœud existe, il est unique.