L’analyse statique dans le monde PHP