§10: Comparison with crystalline cohomology 1/2

The de Rham–Witt complex computes crystalline cohomology.
If not done in the talk about §6, quickly introduce/recall crystalline co?homology (see for example the book by Berthelot or Tag 07GI in the
Stacks project), state Theorem 10.1.1 and explain the strategy for the
proof (§10.1). Prove Proposition 10.2.1; coordinate with the speaker
of the next talk (they might need intermediate results and proofs from
§10.2). If not done in the talk about §6 and time permits, prove Propo?sition 6.4.1 (which shows that the assumptions in the main result are
needed).