Grammalecte  Files in misc/ of 01db34f0506c0b10