« Effectivement, il y a eu un problème avec la configuration de pages sur un de nos serveurs », a-t-il indiqué. En ‘rafraîchissant’ la page, il était possible qu’un nom apparaisse. Ce fût cependant très limité, et le problème a été rapidement réglé lorsque nous avons été informés de la situation. »