Lire un extrait : Base théorique et méthodes du raisonnement automatique statistique