Grammalecte  Files in misc/ of ed9c91eae4679d68