Paramètres pour l’analyse statique