LES problèmes d’accord ont une extrême importance dans la conception et la vérification des applications tolérantes aux fautes dans les systèmes distribués, ce qui a suscité des recherches intenses pour trouver des solutions ...