1);;
}}
;
$a->strings["Submit"] = "Envoyer";
$a->strings["Tile Server URL"] = "URL du serveur de tuiles";
$a->strings["A list of public tile servers"] = "Une liste de serveurs de tuiles publics";
$a->strings["Default zoom"] = "Zoom par défaut";
$a->strings["The default zoom level. (1:world, 18:highest)"] = "Le niveau de zoom affiché par défaut. (1: monde entier, 18: détail maximum)";
$a->strings["Settings updated."] = "Paramètres mis à jour.";