Passage de la récursion aux folds pour les fonctions check et checkWin