Implementation of the time synchronisation in Linear_Logs