Assigner le paramètre pour l'analyse statique (SA).