L informatique : la mécanique de l abstraction Introduction à la hiérarchie de traduction Des exemples pour mieux comprendre Définitions des différents.