Annexes au contrat amorties

Cette séance de cours couvre la mise en œuvre d'appendices à temps constant dans Conc-Trees, en introduisant un nouveau nœud d'appendice avec différentes sémantiques pour atteindre des appendices O(1) avec des facteurs constants faibles. Il explore également le comptage dans un système de nombres binaires et la représentation des nombres binaires, en discutant de la mise en œuvre d'une structure de données immuable avec les appendices O(1) et la concaténation O(log n), et de la possibilité d'une variante de données plus efficace et mutable Conc-tree.