Nous étudions les propriétés de la réduction duale : une technique de réduction des jeux finis qui permet d'opérer une sélection entre les équilibres corrélés. Nous montrons que le processus de réduction est indépendant des fonctions d'utilités choisies pour représenter les préférences des agents et que les jeux à deux joueurs ont génériquement une unique réduction duale pleine. De plus, dans une réduction duale pleine, toutes les stratégies et tous les profils de stratégie qui ne sont jamais jouées dans des équilibres corrélés sont éliminées. Nous étudions les propriétés supplémentaires qu'a la réduction duale dans plusieurs classes de jeux et nous comparons la réduction duale à d'autres concepts de raffinement des équilibre corrélés. Enfin, nous passons en revue et relions les différentes preuves d'existence des équilibres corrélés fondées sur la programmation linéaire.
