Bastien Maubert: Logical foundations of games with imperfect information : uniform strategies. (Fondations logiques des jeux à information imparfaite : stratégies uniformes). University of Rennes 1, France 2014