Jeux graphiques et théorie de la démonstration. (Graphical games and proof theory). - Florian Hatat (2013)