Note : cette liste n'est pas exhaustive et quelques serveurs sont indiqués à titre d'information ; leurs ressources sont destinées au bon fonctionnement des systèmes et il n'y a pas d'accès utilisateur ssh. Ces serveurs tournent en paravirtualisé (Debian+XEN).