Grammalecte  Files in misc/ of e8dc798b97eac27e