  The first part is expository: it explains how finite fields may be used to
prove theorems on infinite fields by a reduction mod p process. The second part
gives a variant of P.Smith's fixed point theorem which applies in any
characteristic.
