J'ai essayé depuis plusieurs réseaux de faire un telnet 20.40.143.24 3544 pour voir si le serveur Teredo répond quand on l'interroge (le port 3544 est celui utilisé dans la capture).
La réponse est non.
Edit : bétise de ma part, c'est normal qu'il ne réponde pas, telnet c'est des paquets TCP, là Teredo, c'est de l'UDP.