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