Modification de noms de variables pour une sémantique de stragégies