Si on cherche les chemins de (0,0) à (n,0) tels que y reste positif ou nul tout le temps, il faut un peu adapter ce que j'ai écrit au dessus :
Si un chemin C ne respecte pas
pour tout x alors il existe un plus petit x tel que le chamin passe par (x,-1) et on peut considérer le chemin C' obtenu en échangeant tout les Haut<->Bas qui suivent le (x,-1), ce qui revient à faire une symétrie par rapport à la droite y=-1 sur toute la fin du chemin (tout ce qui est après (x,-1)).
Le nouveau chemin C' obtenu va de (0,0) à (n,-2) (symétrique de (0,0) par rapport à y=-1).
Réciproquement, si on part d'un chemin quelconque C' de (0,0) à (n,-2) il passe forcément par des points (x,-1) et si on peut considérer le plus petit tel x et procéder à la même symétrie qu'au dessus pour obtenir un chemin C de (0,0) à (n,0) contenant au moins un point (x,y) avec y<0.
Il est clair que ces opérations sont des des bijection réciproque l'une de l'autre ce qui montre qu'il y a autant de chemins de (0,0) à (n,0) contenant au moins un y<0 qu'il y a de chemin de (0,0) à (n,-2).
Or pour qu'il existe de tels chemins il faut bien sur que n soit pairs et il faut ensuite qu'il contienne n/2-1 fois "Haut" et n/2+1 fois "Bas" et il y a donc Binom(n,n/2-1) possibilités.
Comme il y a au total Binom(n,n/2) chemins de (0,0) à (n,0), celà signifie qu'il y en a Binom(n,n/2)-Binom(n,n/2-1) = Binom(n,n/2)/(n/2+1) chemins de (0,0) à (n,0) tels que y soit positif ou nul en permanence :
n=2 -> 1
n=4 -> 2
n=6 -> 5
n=8 -> 14
. . .