Ce problème a été résolu. Certains pings peuvent avoir été manqués ou retardés. La cause profonde du problème a été identifiée et nous travaillons à la mise en œuvre d'une solution pour éviter qu'il ne se reproduise. Nous nous excusons pour la gêne occasionnée.