let mirror_sources = ref "http://ftp.fr.debian.org/debian"