En mettant une IP explicitement numérique pour ton serveur POP, tu bypasses la résolution de nom pour cette référence, avec les effets suivants:

- si la résolution de noms posait soucis (délais, erreurs...), elle n'en pose plus

- MAIS: "normalement", l'adresse 'pop.orange.fr' peut résoudre en de multiples adresses, par "load balancing" (par exemple: 80.12.242.90 -comme elle se résout à l'instant chez moi- ou 193.252.22.90 -comme tu le dis-). Il est facile de vérifier par reverse lookup (ex: http://remote.12dt.com/ ) que ces deux IP numériques répondent bien à pop.orange.fr

En hardcodant une seule IP numérique à la place, tu perds le bénéfice du "load balancing", tu risques d'adresser un serveur surchargé, voire carrément en panne.

Ceci étant, il y a plein de problèmes en ce moment entre orange et "le reste du monde". Par exemple, il n'est pas rare (en journée) que les serveurs POP répondent "pas de nouveau mail", alors qu'on voit bien par le webmail qu'il y a des messages reçus. Les délais peuvent durer plusieurs heures, voire une journée entière!