  We show that the reduction mod p of an orthogonal linear representation is
orthogonal, and we generalize this fact to representations of algebras with
involution.The proofs make an essential use of the notion of " middle lattices
".
