Formalisation et simulation du processus de reconnaissance intermoléculaire — Jean-François Canicas