Mise à jour de l'analyseur syntaxique : l'initialisation des circuits integrés et la définition de leurs sorties sont désormais entièrement gérées en théorie.