logo Representations of Gf modulo p
(F p-adic field)