1) Table des matières 2) Paragraphe 2.1 3) Nouveau paragraphe 2.3 4) Nouvelle Annexe B Annexe B – Directives pour l'utilisation du langage Z dans la formalisation du comportement des objets gérés