correction debugs dans coordinator. Il reste à corriger sendSyncMessages