analyse statique