Dans le paragraphe 3.2, on a montré que les spécifications se basaient sur les mso, i.e des objets définis comme des listes d'équations attribut = valeur. Mais nous n'avons pas encore introduit de dynamisme pour permettre de faire évoluer ces objets.
Et c'est ce que l'on va expliciter dans cette partie.