  Mimicking Ogus's construction, we define a site, for varieties over a field
of char. p > 0, using Monsky--Washnitzer algebras/weak formal schemes. We prove
a comparison theorem between the MW cohomology and a certain analytic
cohomology.
