Modélisation du sujet humain en situation de résolution de problème basée sur le couplage d'un formalisme logique et d'un formalisme d'opérateurs — Jean-Bernard Auriol