Ti ringrazio, ma nel frattempo ho risolto. Si tratta di una chiave del registro della WAN Miniport, che non era settata su TCP/IP. L'ho scoperto
qui.
Circa il PPPoE, esistono diversi programmi, ad esempio
RASPPPOE ma funzionano se usi una scheda Ethernet. Io sono collegato via un modem USB, il quale non riconosce gli "inf" di questi programmi. Esiste in realtà un programma del costruttore per far funzionare il modem in PPPoE, ma mi dà schermo blu (in effetti manca la firma digitale MS). Comunque, cercando qua e là mi sono accorto che questo errore 720 sul PPP ha fatto impazzire un bel po' di gente, e pare che le cause (così come pure le soluzioni) siano molteplici. Il mio caso pare fosse fra i più difficili - in effetti, "smanettare" sui registri è proprio l'ultima spiaggia....