Grammalecte  Files in misc/ of f2d827114593b38c