Les résultats présentés dans cette thèse ne seraient
pas ce qu'ils sont si Paul Feautrier n'avait pas été
un directeur de recherche exemplaire. Le sujet qu'il m'a proposé
était clairement défini et comportait de réelles opportunités
de découvertes. Mieux encore, l'environnement logiciel du projet
PAF s'est montré suffisamment stable pour que je puisse mener à
bien mes travaux. À chaque étape de la thèse Paul Feautrier
a su, avec un recul qui force l'admiration, me désigner les voies
qui pouvaient s'avérer fructueuses et celles qui étaient sans
avenir. Dans le même ordre d'idées, il a su découvrir des champs
d'application, parfois inattendus, pour mes résultats. Il faut aussi
mettre à son actif un réel tour de force : j'ai plus appris d'anglais
sous sa direction que pendant les dix années où l'éducation nationale
à tenté de m'inculquer ce langage. Plus sérieusement, il m'a apporté
une aide considérable dans la rédaction d'articles et n'a jamais
hésité à m'emporter dans ses bagages pour aller assister
aux rencontres importantes de l'informatique parallèle.
En un mot, Paul Feautrier m'a enseigné le métier de chercheur.
Le lecteur constatera que certaines parties de cette thèse font
appel aux mathématiques, en particulier à la théorie des
graphes. Certains résultats se sont révélés très coriaces
à démontrer. Il ne l'ont été que grâce à de nombreuses
feuilles de papier gribouillées et de longues discussions avec
Myriam Fradon. Bien que la théorie des graphes soit loin de son
domaine de prédilection que sont les probabilités, elle s'est
toujours portée volontaire pour aider à décortiquer et à
résoudre un problème. Myriam Fradon est certainement la
mathématicienne la plus experte en détection de récurrences.
Merci à Jean-Michel Fourneau et Franck Quessette du laboratoire
PRiSM pour m'avoir fait remarqué que le problème de la
normalisation d'un système d'équations est en relation avec
le problème de la théorie des hyper-graphes intitulé
``recherche d'un transversal minimum''.
Je tiens aussi à remercier les membres des équipes de recherche
du LIP à l'ENS de Lyon, du CRI de Fontainebleau et de l'IRISA à Rennes.
C'est grâce à eux que j'ai pu clarifier les concepts de cette thèse.
J'ai aussi beaucoup apprécié les commentaires constructifs
des membres du jury à propos de l'organisation du mémoire.
Leur lecture attentive du manuscrit m'a permis d'améliorer
la qualité de ce document.
Un grand merci aux membres de l'équipe PAF, que ce soit les
chercheurs ou les ingénieurs systèmes pour l'ambiance sympathique
qu'ils font régner à Versailles.
#ifdef __DE_LA_FAMILLE__
Merci vraiment, Maman et Papa, d'avoir tout fait pour que je puisse
passer cette thèse. Votre soutien constant m'a beaucoup touché
et je tenais à l'écrire car je suis bien capable de ne pas oser
vous le dire.
#endif