Grammalecte  Files in misc/ of eef32ad83f8e38eb