The problem that we encountered yesterday on a small number of servers, and that led to a slowing down of the machine, started to affect other servers this morning. We will proceed with a server-restarting operation this afternoon which will correct the problem. This operation will only take a few minutes.