1) Paragraphe 2.12) Paragraphe 2.23) Paragraphe 13.14) Paragraphe A.9: Syntaxe abstraite de la fonction de comptage d'utilisation5) Paragraphe A.9: Syntaxe abstraite de la fonction de comptage d'utilisation