Stratégies gagnantes dans les jeux finis : existence, construction et exécution
Distinguer la preuve d’existence, la construction explicite et l’exécution pratique d’une stratégie dans un jeu fini, avec les limites du vol de stratégie et de l’élagage.