Technique d'analyse de programmes pour la rétro-ingénierie de bases de données.