Les techniques sous-jacentes aux ``ordinateurs \`a ADN''

Adleman a r\'esolu exp\'erimentalement en 1994 un probl\`eme de recherche de chemin hamiltonien en utilisant des techniques de biologie mol\'eculaire. Lipton a montr\'e en 1995 que la satisfaisabilit\'e d'une formule logique pouvait \^etre trait\'ee de la m\^eme fa\c con. Ces travaux ont fait na\^ \i tre l'espoir d'ordinateurs massivement parall\`eles ``\`a ADN''. L'expos\'e portera sur les principes et la r\'ealisation pratique des exp\'eriences. L'inventaire des op\'erations r\'ealisables de cette fa\c con pourrait \^etre abord\'e au cours de la discussion.