Title: Intelligence artificielle et informatique théorique (2e ed.)