Grammalecte  Files in misc/ of ed532707969ae823