Grammalecte  Files in misc/ of dec11ec8d22d43b6