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