Translations:Manual:AdminSettings.php/12/fr

$AdminSettings doit initialiser trois variables :