Better graph display to visualize constraints on FSM
Should think to add useful information to FSM:
- Add popups to dysokay king of contraints on links, node, ...
- Add useful colors to FSM to code information with colors. For the moment, don't have any precise idea how to achieve this.