Ce mémoire vise à décrire le parallélisme qu'un compilateur pourrait extraire d'un programme écrit en pH, un langage parallèle dérivé de Haskell et Id. Pour rendre cette description claire et précise, nous allons utiliser une méthode formelle afin de décrire le comportement de notre langage. Nous avons choisi une algèbre de processus, le pi-calcul, comme langage formel, puisque ce genre de langage sémantique a été conçu expressément pour modéliser le parallélisme, les communications et synchronisations entre processus. La description sémantique résultante devrait pouvoir être facilement mise en oeuvre sur une architecture MIMD avec des processeurs multi-contextes puisqu'une telle architecture supporte des processus de granularité fine. Notons que la sémantique résultante va mettre en oeuvre le principe d'évaluation indulgente qui permet d'extraire un maximum de parallélisme d'un langage fonctionnel.
Afin de valider notre description sémantique, un interpréteur concurrent de pi-calcul a été développé. Cet interpréteur, qui utilise les fils d'exécution du langage Java afin de représenter l'évaluation concurrente de différents processus, a aussi été instrumenté afin de produire des profils de parallélisme et ainsi comparer diverse formes d'évaluation parallèle d'un programme (strict, indulgent et paresseux).