Analyse Statique