Le lemme des mariages est un énoncé de théorie des ensembles qui peut se décrire en imaginant une société dans laquelle tous les mariages sont décidés de façon centralisée. Une application inattendue du lemme des mariages à un problème d’approximation numérique s’avère pertinente pour l’étude des propriétés statistiques de certains systèmes dynamiques.