Les algorithmes de consensus : la preuve de travail