Utilitaire de configuration de proxy via GSettings pour distribution Linux Ubuntu