Characteristic 0 and p analogies, and some motivic cohomology

Tools