Grammalecte  Files in misc/ of 9c4e4db18bdd15c2