Sémantique Formelle à Deux Joueurs pour Arbres d'Attaque.