Grammalecte  Files in misc/ of eaa97b4c18347d58