Fin des modif dans arbitre local pour la nouvelle regle
correction d'un bug sur la victoire du roi dans la nouvelle regle et
début d'heuristique
Merge branch 'master' of https://github.com/proto3/Manhattan.git