{ ... }:

[
    "backup-ft.adm.crans.org"
    "boeing.adm.crans.org"
    "cameron.adm.crans.org"
    "cas.adm.crans.org"
    "collabora.adm.crans.org"
    "daniel.adm.crans.org"
    "ecilis.adm.crans.org"
    "eclat.adm.crans.org"
    "en7.adm.crans.org"
    "ethercalc.adm.crans.org"
    "flirt.adm.crans.org"
    "ft.adm.crans.org"
    "fyre.adm.crans.org"
    "gitlab-ci.adm.crans.org"
    "gitzly.adm.crans.org"
    "gulp.adm.crans.org"
    "helloworld.adm.crans.org"
    "hodaur.adm.crans.org"
    "irc.adm.crans.org"
    "jack.adm.crans.org"
    "jitsi.adm.crans.org"
    "kenobi.adm.crans.org"
    "kiwi.adm.crans.org"
    "mailman.adm.crans.org"
    "neo.adm.crans.org"
    "neree.adm.crans.org"
    "nextcloud.adm.crans.org"
    "owl.adm.crans.org"
    "owncloud.adm.crans.org"
    "periodique.adm.crans.org"
    "proxy-pve-adh.adm.crans.org"
    "ptf.adm.crans.org"
    "re2o.adm.crans.org"
    "redisdead.adm.crans.org"
    "reverseproxy.adm.crans.org"
    "romanesco.adm.crans.org"
    "roundcube.adm.crans.org"
    "routeur-2754.adm.crans.org"
    "routeur-daniel.adm.crans.org"
    "routeur-ft.adm.crans.org"
    "routeur-jack.adm.crans.org"
    "routeur-sam.adm.crans.org"
    "sam.adm.crans.org"
    "silice.adm.crans.org"
    "sputnik.adm.crans.org"
    "stitch.adm.crans.org"
    "tealc.adm.crans.org"
    "thot.adm.crans.org"
    "victoriametrics.adm.crans.org"
    "voyager.adm.crans.org"
    "wall-e.adm.crans.org"
    "yson-partou.adm.crans.org"
    "zamok.adm.crans.org"
]