Grammalecte  Files in misc/ of dbcb7ad1a913d237