Je ne sais pas encore ce qui s'est passé, mais visiblement il y a eu un soucis électrique chez OVH => plusieurs des machines qu'ils hébergent ont été inaccessibles pendant 1/4 d'heure. Le serveur, qui avait 102 jours d'uptime, vient de rebooter (3:12pm up 11 min). Je viens de faire un checkup du serveur, tout est Ok maintenant.