Titre : Informatique pour les sciences de l'homme : Limites de la formalisation du raisonnement.