Hello, voici une nouvelle version avec vos retours.
J’ai fais le choix de laisser Mermaid de côté pour me focaliser sur PlantUML, moins sexy mais bien plus cannonique donc correspondant aux standards si on souhaite par la suite appliquer des preuves formelles.
Pour information, je publie également mon travail sur ce git.
*