Grammalecte  Files in misc/ of cdff14fb58e57bbd