Le fait qu'il y ait une notion de "match nul" ne change pas le problème.
La notion de "stratégie gagnante" peut alors vouloir dire :
En étant le premier (ou le second) joueur
je suis sûr de gagner
OU BIEN
Que je soit premier ou second
je suis sûr de ne pas perdre (i.e. de faire au moins nul)
S'il y avait plus de 3 issus (par exemple des gain d'argent), il y aurait encore une "stratégie gagnante".
Le "point faible" de la preuve et plutôt qu'il faut savoir que le jeu ne peut pas durer indéfiniement. Aux échec c'est la "règle des 50 coups" qui l'affirme, aux dames, il y a une série de régles concernant les fins de parties qui disent que s'il ne reste que ça, alors la partie est nulle ce qui assure (plus ou moins) qu'une partie ne peut durer indéfiniement.
P.S. en cherchant sur GOOGLE, je suis tombé sur ça (via wikipédia)
http://www.connectfour.net/Files/connect4.pdfqui, si j'ai bien compris (je ne lit l'anglais que... sous la torture) c'est une thèse d'info prouvant que la stratégie gagnante au puissance 4 est pour celui qui commence.
P.S.2 (pour ffpower) il y a aussi des match nuls au puissance 4 et, aux echecs, la plupart des gens conjecturent que la "statégie gagnante" est un nul assuré pour les deux.
P.S.3 (encore pour ffpower) je vient juste de me rendre compte que j'emploie le mot "stratégie gagnante" alors qu'effectivement je devrait uniquement employer le mot "stratégie" qui colle bien mieux avec ce que raconte au début de ce post.... désolé.