Au début des années 1990 Dehornoy a déduit un ordre total sur le groupe des tresses d'Artin à partir de l'étude générale des systèmes autodistributifs, définis comme des ensembles munis d'une loi de composition vérifiant l'identité $x(yz) = (xy)(xz)$. Cette étude avait été motivée par un axiome indémontrable de théorie des ensembles impliquant l'existence d'un système autodistributif remarquable. Dans ce texte on présente les travaux de Dehornoy ainsi que leur lien inattendu avec la théorie des ensembles. On expose aussi deux constructions géométriques récentes de l'ordre de Dehornoy.