Grammalecte  Files in misc/ of e7335f789fb768c3