Logique et interaction: une étude sémantique de la totalité: Outils de sémantique de jeux pour la modélisation de systèmes logiques et langages de ... totaux: Une Etude Semantique de La Totalite