Formalisation et simulation des raisonnements - Gardin, Jean-Claude