Un chemin auto-évitant est, informellement, un chemin sur $\mathbb{Z}^d$ qui ne passe pas deux fois par le même point et qui se déplace d'un point à un autre point à distance $1$.
En générant un chemin avec une loi de Bernoulli, on montre qu'il existe presque sûrement un chemin auto-évitant de longueur fini. On gère de plus le cas d'un chemin auto-évitant infini.