Outils logiques pour l'intelligence artificielle — Jean-Paul Delahaye