Grammalecte  Files in misc/ of dce37dbe96ca2c19