GitLab

Modification des options de compilation pour permettre la lecture sur un plus grand nombre de lecteurs.

Passage en PDF de l'automate de Qini de Pauchet. La version PNG de cette image pose problème à l'impression et était peut-être à l'origine des erreurs à l'ouverture du PDF par certaines version d'Acrobat Reader.

Ajouts de deux commentaires avant le documentclass permettant de résoudre l'erreur 131 d'Adobe Acrobat.

Définition d'un environnement à part pour les tables d'état, avec une liste des tables d'état séparée à la fin du mauscrit.

Correction de l'algorithme 2, suppression des références au tableau de conversation et à l'utilisation de motifs dialogiques.