  We study the set of bitangent lines (called a congruence of bitangent lines
classically) of an irreducible surface in a 3-dimensional projective space,
especially a quartic surface with rational double points in any characteristic.
In particular, we determine the congruences of bitangent lines for Kummer
quartic surfaces in characteristic two.
