Translations:Manual:$IP/9/fr

Contrairement aux autres variables, la valeur par défaut est déclarée dans WebStart.php et non dans DefaultSettings.php.