Approche logique de l'intelligence artificielle 2 — André Thayse