Pour encore accroître le contrôle du contexte sur le calcul d'un terme, on se propose d'introduire du temps dans les modèles de jeux. On examinera ce que devient la notion de modèle: puisqu'une forme beta-reduite n'est pas égale, mais "plus rapide", on met un ordre sur les stratégies, et les opérations de curry/uncurry forment une connexion de Galois. On verra aussi des opérateurs qui utilisent le temps et quelques possibilités de simulation du parallélisme avec des synchronisations.