Grammalecte  Files in misc/ of ecd1e8587f8c0ec6