Les algorithmes de consensus : la preuve du temps écoulé