Si cette retranscription se veut la plus fidèle possible à l'original, certains énoncés ont été légèrement altérés pour utiliser des notations plus récentes et correspondant à la syntaxe du langage ...