\section{Instruction procédure} \subsection*{Récit d'utilisation} \paragraph{Titre : } Procédure \paragraph{Récit : } Ordonner a l'interpréteur à exécuter des lignes de code à partir de l'étiquette de l'instruction. \paragraph{En tant que : } Programmeur \paragraph{Je souhaite : } transférer l'exécution au numéro d'étiquette spécifié. \paragraph{Afin de : } exécuter le programme puis reprendre en séquence une fois le procédure terminée. \subsection*{Critères d'acceptation} \paragraph{À partir de : } Plusieurs lignes de code et d'identificateurs déclarés, dont la portée est globale. \paragraph{Alors : } En utilisant l'instruction \verb|procedure | \paragraph{Enfin : } Alors l'interpréteur va chercher la ligne qui a pour identificateur celui référencé en étiquette et va l'exécuter jusqu'à'a la fin de la séquence.