Aide à la conception sûre de programmes PLC à travers l’analyse statique