French Jeu d'Ehrenfeucht-Fraïssé Cited by user Fschwarzentruber on 12 Jan 2020 En logique mathématique, et notamment en théorie des modèles finis, le jeu d'Ehrenfeucht-Fraïssé (aussi appelé jeu du va-et-vient) est une technique pour déterminer si…