🧩 Agrégation — Épreuve orale de modélisation : Finalité et responsabilité dans un consensus réparti (Casper)
Texte de modélisation pour l'oral d'informatique de l'agrégation, d'après Buterin & Griffith, « Casper the Friendly Finality Gadget » — arbre de points de contrôle, lemme …
