Intelligence artificielle et informatique théorique