Oui, mais juste pour le test, car tu es sur un réseau que tu n'administres pas.
Passe en manuel, mets la même adresse IP, le même routeur, et le masque à 255.255.0.0
Regarde si c'est bon.
Si c'est bon, repasse en DHCP auto (pour pas poser pb sur le LAN de la Fac), et vois avec l'administrateur pouquoi le masque ne colle pas avec l'adresse IP du DNS.
À moins que l'adresse du DNS soit fausse. Par exemple, si elle était 130.79.93.200 (au lieu de 130.79.200.200), ça marcherait avec un masque à 255.255.255.0
Tiens, tu devrais peut-être essayer ça en premier. Je le sens bien...