Des relations inattendues entre les jeux, les systèmes informatiques et la théorie axiomatique des ensembles amènent les grands cardinaux.