Antoine Yessayan a modifié la boîte à outils permettant d'instrumenter du Python.

Antoine Yessayan a modifié la boîte à outils permettant d'instrumenter du Python.

developpeur.py
	En particulier, les outils ne sont actifs que si les développeurs sont
	déclarés dans ce fichier ;

modification.py
	propose une fonction permettant de tracer lors de l'execution d'Eficas
	une intervention effectuée par l'un des développeurs ;

execute.py
	permet d'organiser l'instruction exec in contexte.