Didier PARIGOT
Note préliminaire : j'ai conçu cet exposé de mes travaux de façon qu'il soit compréhensible par une personne compétente en informatique mais non spécialiste de mon domaine de recherche; je prie donc le spécialiste d'excuser sa longueur qui est une conséquence de ce choix. Ce document sera certainement très utile pour les personnes qui travaillerons avec moi à l'avenir.