Grammalecte  Files in misc/ of e0e1732dfe5715fb