Plusieurs modèles de sémantique de jeux concurrents ont émergé ces dernières années. Dans ce travail, on se concentre sur certaines de ces approches, qui ont donné des modèles de CCS, du pi-calcul et du lambda-calcul non-déterministe. Un point commun informel mais saillant entre ces approches est que les stratégies innocentes sont définies commes les faisceaux pour la topologie de Grothendieck où les parties sont recouvertes par leurs vues. On propose ici de tisser un lien formel entre deux de ces approches au niveau des parties et des stratégies.