Explore les compromis des opérations de suppression dans les magasins de données, en mettant l'accent sur les suppressions logiques et en introduisant le moteur de stockage Lethe.
Explique les opérations d'arbre de recherche binaire, en se concentrant sur l'insertion, la recherche et la conversion de liste, en mettant l'accent sur la vérification formelle et le débogage.
