use and go event time
add theoric definitions time
impl leader eventual with UDP