Hello,

j'ajouterai les serveurs Temporis (enfin, LE serveur Temporis) dès que la fusion aura eu lieu, mardi prochain.
Merci Shan pour l'info.