Grammalecte  Files in misc/ of dcf17dd46d82ee26