Cours d'introduction à l'intelligence artificielle.