  The theorem of Greenberg-Kazhdan-Drinfeld describes the formal neighborhood
of a closed arc. After giving a complete proof with examples, two possible
versions for the relative case of the theorem are discussed. Each one is shown
to hold for some classes of morphisms, including smooth morphisms and closed
embeddings in smooth variety.
