V. Diekert, P. Gastin Approximating Traces Résumé : Un modèle doit avoir de nombreuses propriétés mathématiques importantes afin d'être utilisable en sémantique des systèmes concurrents. Dans ce papier, on généralise les traces (infinies) de Mazurkiewicz en ajoutant une informatisation sur les extensions possibles d'un processus. Ceci permet de définir un ordre d'approximation et une composition ayant de bonnes interactions. On obtient un domaine cohéremment complet et premier algébrique dans lequel les éléments compacts sont ex­ actement les approximations finies des processus réels. La compo­ sition est monotone et continue par rapport à l'ordre d'approximation. On définit une distance ultramétrique naturelle qui engendre la topologie de Lawson. On obtient donc un espace métrique complet et compact dans lequel l'ensemble des approxima­ tions finies des processus est dense. De plus la composition des processus est en fait uniformément continue. Abstract : In order to give a semantics to concurrent processes, one needs a powerful model which enjoys many important mathemati­ cal properties. We general Mazurkiewicz (infinite) traces by adding an information concerning the possible continuations of a process. This allows to define an approximation order and a com­ position. We obtain a prime algebraic cohenrently complete domain where the compacts are exactly the finite approximations of actu­ al processes. The composition is shown to be monotone and U- continuous. We define a suitable metric which induces the Lawson topology and yields a complete and compact metric space. The fi­ nite approximations of processes form a dense subset and the com­ position is uniformly continuous.