Title: Contribution à la formalisation de l'amélioration de code par attributs sémantiques