# Lorsque vous arrivez au menu "Choisir un miroir de l'archive Debian" : bien choisir "saisie manuelle" au niveau des langue tout en haut

# puis saisir l'ip ou le nom du serveur de depot : 192.168.1.19 (à adapter pour les PPE de 2ème année ou SI7)
# ne pas mettre de proxy

# Après l'installation modifier le fichier sources.list avec les dépôts locaux (cf utiliser les depots locaux.txt)

# Vérifier qu'apt-get update ne renvoie pas d'erreur