Un EDI (environnement de développement intégré) de théorie des graphes interactif pour les étudiants.