Abstract FR:

L'audit thermique des batiments existants, par la nature de l'operation, pose un certain nombre de problemes lies a la realisation d'outils informatiques. Un des aspects importants, concernant les informations patielles (incertaines, imprecises et lacunaires) et leur traitement dans un programme informatique, n'est jusqu'alors pas pris en compte par des outils classiques. 0n propos donc, dans cette these, d'etablir les bases d'une nouvelle generation d'outils d'aide au diagnostic, en utilisant les techniques de programmation avancee. Apres une couche d'un modele d'acteur a partir d'un lisp lexical scheme, et realise une maquette informatique. Certains concepts importants, notamment celui de la continuation permettant la mise en uvre des structures de controle souples, puissantes et elegantes, ont ete largement exploites. La realisation de la maquette permet de montrer les interets d'une telle approche