Analyse

• L'analyse statique d'εxodus