anchor.diff:  si l'automate actuellement soumis est proche de l'automate précédemment soumis
   - Support de différents types d'automates (automates à pile, automates à
   réels, automates d'arborescence, etc.)
  +- Support pour d'autres formats d'image (PNG, Webm, Canvas HTML5, TikZ, ...)
   
   === Qui est le client ?
   
  
positive.code: d'être très spartiate, certaines améliorations envisageables peuvent
  l'ammener à devenir très riche.
  
  === Description de l'automate
  
  Le langage de représentation de l'automate peut être modifié facilement ; seule
  la première partie de l'application sera affectée par les changements.
  
negative.code: du document. C'est, au vu de la définition du produit attendu, le cas
  d'utilisation le plus évident.
  
  === Les alternatives
  
  Un moteur de rendu d'automate à partir d'un DSL existe déjà. Il s'agit
  de GraphViz qui, à partir d'une figure décrite dans le langage _dot_, peut
  produire un dessin sous format SVG. GraphViz peut représenter bien d'autres
  objets, et peut le faire dans bien d'autres formats.
  
  Toutefois, GraphViz et _dot_ requièrent pour une application Web un rendu
  côté serveur
  (une http://ushiroad.com/jsviz/[implémentation en Javascript] existe cependant).
  De plus, _dot_ s'attache à la sémantique des graphes et non des automates.
  
  Afin de justifier la pertinence de notre application, il nous faut déterminer
  les cas d'utilisation pour lesquels GraphViz et _dot_ pêchent et proposer
  ainsi une meilleure alternative.
  
  == Architecture
  
  === Trois étapes
  