Le problème des généraux byzantins et les abysses des algorithmes de consensus : Le fonctionnement de Paxos, Raft et BFT