Documents Sciences formelles Playing Games with Algorithms: Algorithmic Combinatorial Game Theory Demaine Hearn