big refactoring in the ARB <=> RB+DL in crash model

2025-12-11 19:03:20 +01:00
2 changed files with 636 additions and 486 deletions
--- a/Recherche/BFT-ARBover/main.pdf
+++ b/Recherche/BFT-ARBover/main.pdf
--- a/Recherche/BFT-ARBover/main.tex
+++ b/Recherche/BFT-ARBover/main.tex