<?php
$lang['use_proxy'] = 'Utiliser un serveur proxy pour interroger les serveurs ?';
$lang['proxy_url'] = 'Adresse du serveur proxy';