Oui : c'est Gmail qui "trouve le serveur tout seul. Enfin : il ne le trouve justement pas... pop.mail.yahoo.com : je remplace par pop.mail.ymail.com ?
Voilà : c'est résolu ! Configuration POP sous Yahoo mail : Maintenant, qu'on ne me demande pas pourquoi ça marchait très bien avant...
? 
