====== Analyser une divergence code / modèle ======

Une divergence peut correspondre à :
  * une erreur d'implémentation ;
  * une évolution fonctionnelle souhaitée ;
  * une évolution du modèle d'automatisme ;
  * une particularité volontaire de plateforme.

Ne pas conclure automatiquement que la spécification est fausse. Classer l'écart puis corriger le code ou ouvrir la proposition appropriée.