Grammalecte  Files in misc/ of 5afd22b0736c8fae