Base théorique et méthodes du raisonnement automatique statistique — Jean-François Grandin