The Sanskrit Reader Companion

✓ Show Summary of Solutions

Input: ardhaṃ hi rājyasya visṛjya vīrāḥ kuntīsutās tasya kṛte yatante

Sentence: अर्धम् हि राज्यस्य विसृज्य वीराः कुन्तीसुतास् तस्य कृते यतन्ते
may be analysed as:

Solution 25 : ✓
[ ardham
[ardha]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ rājyasya
[rājya { pfp. [1] }[rāj_1]]{n. sg. g. | m. sg. g.}
⟨⟩]
[ visṛjya
[vi-sṛj_1]{abs.}
⟨⟩]
[ vīrāḥ
[vīra]{m. pl. nom.}
⟨ḥ| → ḥ⟩]
[ kuntī
[kuntī]{iic.}
⟨⟩]
[ sutāḥ
[suta_1 { pp. }[su_2]]{f. pl. acc. | f. pl. nom. | m. pl. nom.}
[suta_2 { pp. }[sū_1]]{f. pl. acc. | f. pl. nom. | m. pl. nom.}
⟨⟩]
[ tasya
[tad]{n. sg. g. | m. sg. g.}
⟨⟩]
[ kṛte
[kṛti]{f. sg. voc.}
⟨⟩]
[ yatante
[yat_1]{pr. [1] mo. pl. 3}
⟨⟩]

Solution 26 : ✓
[ ardham
[ardha]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ rājyasya
[rājya { pfp. [1] }[rāj_1]]{n. sg. g. | m. sg. g.}
⟨⟩]
[ visṛjya
[vi-sṛj_1]{abs.}
⟨⟩]
[ vīrāḥ
[vīra]{m. pl. nom.}
⟨ḥ| → ḥ⟩]
[ kuntī
[kuntī]{iic.}
⟨⟩]
[ sutāḥ
[suta_1 { pp. }[su_2]]{f. pl. voc. | m. pl. voc.}
[suta_2 { pp. }[sū_1]]{f. pl. voc. | m. pl. voc.}
⟨⟩]
[ tasya
[tad]{n. sg. g. | m. sg. g.}
⟨⟩]
[ kṛte
[kṛti]{f. sg. voc.}
⟨⟩]
[ yatante
[yat_1]{pr. [1] mo. pl. 3}
⟨⟩]

Solution 27 : ✓
[ ardham
[ardha]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ rājyasya
[rājya { pfp. [1] }[rāj_1]]{n. sg. g. | m. sg. g.}
⟨⟩]
[ visṛjya
[vi-sṛjya { pfp. [1] }[vi-sṛj_1]]{n. sg. voc. | m. sg. voc.}
⟨⟩]
[ vīrāḥ
[vīra]{m. pl. nom.}
⟨ḥ| → ḥ⟩]
[ kuntī
[kuntī]{iic.}
⟨⟩]
[ sutāḥ
[suta_1 { pp. }[su_2]]{f. pl. acc. | f. pl. nom. | m. pl. nom.}
[suta_2 { pp. }[sū_1]]{f. pl. acc. | f. pl. nom. | m. pl. nom.}
⟨⟩]
[ tasya
[tad]{n. sg. g. | m. sg. g.}
⟨⟩]
[ kṛte
[kṛti]{f. sg. voc.}
⟨⟩]
[ yatante
[yat_1]{pr. [1] mo. pl. 3}
⟨⟩]

Solution 28 : ✓
[ ardham
[ardha]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ rājyasya
[rājya { pfp. [1] }[rāj_1]]{n. sg. g. | m. sg. g.}
⟨⟩]
[ visṛjya
[vi-sṛjya { pfp. [1] }[vi-sṛj_1]]{n. sg. voc. | m. sg. voc.}
⟨⟩]
[ vīrāḥ
[vīra]{m. pl. nom.}
⟨ḥ| → ḥ⟩]
[ kuntī
[kuntī]{iic.}
⟨⟩]
[ sutāḥ
[suta_1 { pp. }[su_2]]{f. pl. voc. | m. pl. voc.}
[suta_2 { pp. }[sū_1]]{f. pl. voc. | m. pl. voc.}
⟨⟩]
[ tasya
[tad]{n. sg. g. | m. sg. g.}
⟨⟩]
[ kṛte
[kṛti]{f. sg. voc.}
⟨⟩]
[ yatante
[yat_1]{pr. [1] mo. pl. 3}
⟨⟩]

4 solutions kept among 28
Filtering efficiency: 88%

Additional candidate solutions
Solution 1 : ✓
[ ardham
[ardha]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ rājī
[rāji]{iic.}
⟨ī|a → ya⟩]
[ asya
[asya { pfp. [1] }[as_2]]{n. sg. voc. | m. sg. voc.}
⟨⟩]
[ visṛjya
[vi-sṛj_1]{abs.}
⟨⟩]
[ vīrāḥ
[vīra]{m. pl. nom.}
⟨ḥ| → ḥ⟩]
[ kuntī
[kuntī]{iic.}
⟨⟩]
[ sutāḥ
[suta_1 { pp. }[su_2]]{f. pl. acc. | f. pl. nom. | m. pl. nom.}
[suta_2 { pp. }[sū_1]]{f. pl. acc. | f. pl. nom. | m. pl. nom.}
⟨⟩]
[ tasya
[tad]{n. sg. g. | m. sg. g.}
⟨⟩]
[ kṛte
[kṛti]{f. sg. voc.}
⟨⟩]
[ yatante
[yat_1]{pr. [1] mo. pl. 3}
⟨⟩]

Solution 2 : ✓
[ ardham
[ardha]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ rājī
[rāji]{iic.}
⟨ī|a → ya⟩]
[ asya
[asya { pfp. [1] }[as_2]]{n. sg. voc. | m. sg. voc.}
⟨⟩]
[ visṛjya
[vi-sṛj_1]{abs.}
⟨⟩]
[ vīrāḥ
[vīra]{m. pl. nom.}
⟨ḥ| → ḥ⟩]
[ kuntī
[kuntī]{iic.}
⟨⟩]
[ sutāḥ
[suta_1 { pp. }[su_2]]{f. pl. voc. | m. pl. voc.}
[suta_2 { pp. }[sū_1]]{f. pl. voc. | m. pl. voc.}
⟨⟩]
[ tasya
[tad]{n. sg. g. | m. sg. g.}
⟨⟩]
[ kṛte
[kṛti]{f. sg. voc.}
⟨⟩]
[ yatante
[yat_1]{pr. [1] mo. pl. 3}
⟨⟩]

Solution 3 : ✓
[ ardham
[ardha]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ rājī
[rāji]{iic.}
⟨ī|a → ya⟩]
[ asya
[asya { pfp. [1] }[as_2]]{n. sg. voc. | m. sg. voc.}
⟨⟩]
[ visṛjya
[vi-sṛjya { pfp. [1] }[vi-sṛj_1]]{n. sg. voc. | m. sg. voc.}
⟨⟩]
[ vīrāḥ
[vīra]{m. pl. nom.}
⟨ḥ| → ḥ⟩]
[ kuntī
[kuntī]{iic.}
⟨⟩]
[ sutāḥ
[suta_1 { pp. }[su_2]]{f. pl. acc. | f. pl. nom. | m. pl. nom.}
[suta_2 { pp. }[sū_1]]{f. pl. acc. | f. pl. nom. | m. pl. nom.}
⟨⟩]
[ tasya
[tad]{n. sg. g. | m. sg. g.}
⟨⟩]
[ kṛte
[kṛti]{f. sg. voc.}
⟨⟩]
[ yatante
[yat_1]{pr. [1] mo. pl. 3}
⟨⟩]

Solution 4 : ✓
[ ardham
[ardha]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ rājī
[rāji]{iic.}
⟨ī|a → ya⟩]
[ asya
[asya { pfp. [1] }[as_2]]{n. sg. voc. | m. sg. voc.}
⟨⟩]
[ visṛjya
[vi-sṛjya { pfp. [1] }[vi-sṛj_1]]{n. sg. voc. | m. sg. voc.}
⟨⟩]
[ vīrāḥ
[vīra]{m. pl. nom.}
⟨ḥ| → ḥ⟩]
[ kuntī
[kuntī]{iic.}
⟨⟩]
[ sutāḥ
[suta_1 { pp. }[su_2]]{f. pl. voc. | m. pl. voc.}
[suta_2 { pp. }[sū_1]]{f. pl. voc. | m. pl. voc.}
⟨⟩]
[ tasya
[tad]{n. sg. g. | m. sg. g.}
⟨⟩]
[ kṛte
[kṛti]{f. sg. voc.}
⟨⟩]
[ yatante
[yat_1]{pr. [1] mo. pl. 3}
⟨⟩]

Solution 5 : ✓
[ ardham
[ardha]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ rāji
[rāji]{iic.}
⟨i|a → ya⟩]
[ asya
[asya { pfp. [1] }[as_2]]{n. sg. voc. | m. sg. voc.}
⟨⟩]
[ visṛjya
[vi-sṛj_1]{abs.}
⟨⟩]
[ vīrāḥ
[vīra]{m. pl. nom.}
⟨ḥ| → ḥ⟩]
[ kuntī
[kuntī]{iic.}
⟨⟩]
[ sutāḥ
[suta_1 { pp. }[su_2]]{f. pl. acc. | f. pl. nom. | m. pl. nom.}
[suta_2 { pp. }[sū_1]]{f. pl. acc. | f. pl. nom. | m. pl. nom.}
⟨⟩]
[ tasya
[tad]{n. sg. g. | m. sg. g.}
⟨⟩]
[ kṛte
[kṛti]{f. sg. voc.}
⟨⟩]
[ yatante
[yat_1]{pr. [1] mo. pl. 3}
⟨⟩]

Solution 6 : ✓
[ ardham
[ardha]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ rāji
[rāji]{iic.}
⟨i|a → ya⟩]
[ asya
[asya { pfp. [1] }[as_2]]{n. sg. voc. | m. sg. voc.}
⟨⟩]
[ visṛjya
[vi-sṛj_1]{abs.}
⟨⟩]
[ vīrāḥ
[vīra]{m. pl. nom.}
⟨ḥ| → ḥ⟩]
[ kuntī
[kuntī]{iic.}
⟨⟩]
[ sutāḥ
[suta_1 { pp. }[su_2]]{f. pl. voc. | m. pl. voc.}
[suta_2 { pp. }[sū_1]]{f. pl. voc. | m. pl. voc.}
⟨⟩]
[ tasya
[tad]{n. sg. g. | m. sg. g.}
⟨⟩]
[ kṛte
[kṛti]{f. sg. voc.}
⟨⟩]
[ yatante
[yat_1]{pr. [1] mo. pl. 3}
⟨⟩]

Solution 7 : ✓
[ ardham
[ardha]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ rāji
[rāji]{iic.}
⟨i|a → ya⟩]
[ asya
[asya { pfp. [1] }[as_2]]{n. sg. voc. | m. sg. voc.}
⟨⟩]
[ visṛjya
[vi-sṛjya { pfp. [1] }[vi-sṛj_1]]{n. sg. voc. | m. sg. voc.}
⟨⟩]
[ vīrāḥ
[vīra]{m. pl. nom.}
⟨ḥ| → ḥ⟩]
[ kuntī
[kuntī]{iic.}
⟨⟩]
[ sutāḥ
[suta_1 { pp. }[su_2]]{f. pl. acc. | f. pl. nom. | m. pl. nom.}
[suta_2 { pp. }[sū_1]]{f. pl. acc. | f. pl. nom. | m. pl. nom.}
⟨⟩]
[ tasya
[tad]{n. sg. g. | m. sg. g.}
⟨⟩]
[ kṛte
[kṛti]{f. sg. voc.}
⟨⟩]
[ yatante
[yat_1]{pr. [1] mo. pl. 3}
⟨⟩]

Solution 8 : ✓
[ ardham
[ardha]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ rāji
[rāji]{iic.}
⟨i|a → ya⟩]
[ asya
[asya { pfp. [1] }[as_2]]{n. sg. voc. | m. sg. voc.}
⟨⟩]
[ visṛjya
[vi-sṛjya { pfp. [1] }[vi-sṛj_1]]{n. sg. voc. | m. sg. voc.}
⟨⟩]
[ vīrāḥ
[vīra]{m. pl. nom.}
⟨ḥ| → ḥ⟩]
[ kuntī
[kuntī]{iic.}
⟨⟩]
[ sutāḥ
[suta_1 { pp. }[su_2]]{f. pl. voc. | m. pl. voc.}
[suta_2 { pp. }[sū_1]]{f. pl. voc. | m. pl. voc.}
⟨⟩]
[ tasya
[tad]{n. sg. g. | m. sg. g.}
⟨⟩]
[ kṛte
[kṛti]{f. sg. voc.}
⟨⟩]
[ yatante
[yat_1]{pr. [1] mo. pl. 3}
⟨⟩]

Solution 13 : ✓
[ ardham
[ardha]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ rājī
[rāji]{f. du. acc. | f. du. nom. | f. sg. nom.}
[rāj_2]{n. du. acc. | n. du. nom.}
⟨ī|a → ya⟩]
[ asya
[asya { pfp. [1] }[as_2]]{n. sg. voc. | m. sg. voc.}
⟨⟩]
[ visṛjya
[vi-sṛj_1]{abs.}
⟨⟩]
[ vīrāḥ
[vīra]{m. pl. nom.}
⟨ḥ| → ḥ⟩]
[ kuntī
[kuntī]{iic.}
⟨⟩]
[ sutāḥ
[suta_1 { pp. }[su_2]]{f. pl. acc. | f. pl. nom. | m. pl. nom.}
[suta_2 { pp. }[sū_1]]{f. pl. acc. | f. pl. nom. | m. pl. nom.}
⟨⟩]
[ tasya
[tad]{n. sg. g. | m. sg. g.}
⟨⟩]
[ kṛte
[kṛti]{f. sg. voc.}
⟨⟩]
[ yatante
[yat_1]{pr. [1] mo. pl. 3}
⟨⟩]

Solution 14 : ✓
[ ardham
[ardha]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ rājī
[rāji]{f. du. acc. | f. du. nom. | f. sg. nom.}
[rāj_2]{n. du. acc. | n. du. nom.}
⟨ī|a → ya⟩]
[ asya
[asya { pfp. [1] }[as_2]]{n. sg. voc. | m. sg. voc.}
⟨⟩]
[ visṛjya
[vi-sṛj_1]{abs.}
⟨⟩]
[ vīrāḥ
[vīra]{m. pl. nom.}
⟨ḥ| → ḥ⟩]
[ kuntī
[kuntī]{iic.}
⟨⟩]
[ sutāḥ
[suta_1 { pp. }[su_2]]{f. pl. voc. | m. pl. voc.}
[suta_2 { pp. }[sū_1]]{f. pl. voc. | m. pl. voc.}
⟨⟩]
[ tasya
[tad]{n. sg. g. | m. sg. g.}
⟨⟩]
[ kṛte
[kṛti]{f. sg. voc.}
⟨⟩]
[ yatante
[yat_1]{pr. [1] mo. pl. 3}
⟨⟩]

Solution 15 : ✓
[ ardham
[ardha]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ rājī
[rāji]{f. du. acc. | f. du. nom. | f. sg. nom.}
[rāj_2]{n. du. acc. | n. du. nom.}
⟨ī|a → ya⟩]
[ asya
[asya { pfp. [1] }[as_2]]{n. sg. voc. | m. sg. voc.}
⟨⟩]
[ visṛjya
[vi-sṛjya { pfp. [1] }[vi-sṛj_1]]{n. sg. voc. | m. sg. voc.}
⟨⟩]
[ vīrāḥ
[vīra]{m. pl. nom.}
⟨ḥ| → ḥ⟩]
[ kuntī
[kuntī]{iic.}
⟨⟩]
[ sutāḥ
[suta_1 { pp. }[su_2]]{f. pl. acc. | f. pl. nom. | m. pl. nom.}
[suta_2 { pp. }[sū_1]]{f. pl. acc. | f. pl. nom. | m. pl. nom.}
⟨⟩]
[ tasya
[tad]{n. sg. g. | m. sg. g.}
⟨⟩]
[ kṛte
[kṛti]{f. sg. voc.}
⟨⟩]
[ yatante
[yat_1]{pr. [1] mo. pl. 3}
⟨⟩]

Solution 16 : ✓
[ ardham
[ardha]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ rājī
[rāji]{f. du. acc. | f. du. nom. | f. sg. nom.}
[rāj_2]{n. du. acc. | n. du. nom.}
⟨ī|a → ya⟩]
[ asya
[asya { pfp. [1] }[as_2]]{n. sg. voc. | m. sg. voc.}
⟨⟩]
[ visṛjya
[vi-sṛjya { pfp. [1] }[vi-sṛj_1]]{n. sg. voc. | m. sg. voc.}
⟨⟩]
[ vīrāḥ
[vīra]{m. pl. nom.}
⟨ḥ| → ḥ⟩]
[ kuntī
[kuntī]{iic.}
⟨⟩]
[ sutāḥ
[suta_1 { pp. }[su_2]]{f. pl. voc. | m. pl. voc.}
[suta_2 { pp. }[sū_1]]{f. pl. voc. | m. pl. voc.}
⟨⟩]
[ tasya
[tad]{n. sg. g. | m. sg. g.}
⟨⟩]
[ kṛte
[kṛti]{f. sg. voc.}
⟨⟩]
[ yatante
[yat_1]{pr. [1] mo. pl. 3}
⟨⟩]

Solution 21 : ✓
[ ardham
[ardha]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ rāji
[rāj_2]{m. sg. loc. | n. sg. loc. | f. sg. loc.}
⟨i|a → ya⟩]
[ asya
[asya { pfp. [1] }[as_2]]{n. sg. voc. | m. sg. voc.}
⟨⟩]
[ visṛjya
[vi-sṛj_1]{abs.}
⟨⟩]
[ vīrāḥ
[vīra]{m. pl. nom.}
⟨ḥ| → ḥ⟩]
[ kuntī
[kuntī]{iic.}
⟨⟩]
[ sutāḥ
[suta_1 { pp. }[su_2]]{f. pl. acc. | f. pl. nom. | m. pl. nom.}
[suta_2 { pp. }[sū_1]]{f. pl. acc. | f. pl. nom. | m. pl. nom.}
⟨⟩]
[ tasya
[tad]{n. sg. g. | m. sg. g.}
⟨⟩]
[ kṛte
[kṛti]{f. sg. voc.}
⟨⟩]
[ yatante
[yat_1]{pr. [1] mo. pl. 3}
⟨⟩]

Solution 22 : ✓
[ ardham
[ardha]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ rāji
[rāj_2]{m. sg. loc. | n. sg. loc. | f. sg. loc.}
⟨i|a → ya⟩]
[ asya
[asya { pfp. [1] }[as_2]]{n. sg. voc. | m. sg. voc.}
⟨⟩]
[ visṛjya
[vi-sṛj_1]{abs.}
⟨⟩]
[ vīrāḥ
[vīra]{m. pl. nom.}
⟨ḥ| → ḥ⟩]
[ kuntī
[kuntī]{iic.}
⟨⟩]
[ sutāḥ
[suta_1 { pp. }[su_2]]{f. pl. voc. | m. pl. voc.}
[suta_2 { pp. }[sū_1]]{f. pl. voc. | m. pl. voc.}
⟨⟩]
[ tasya
[tad]{n. sg. g. | m. sg. g.}
⟨⟩]
[ kṛte
[kṛti]{f. sg. voc.}
⟨⟩]
[ yatante
[yat_1]{pr. [1] mo. pl. 3}
⟨⟩]

Solution 23 : ✓
[ ardham
[ardha]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ rāji
[rāj_2]{m. sg. loc. | n. sg. loc. | f. sg. loc.}
⟨i|a → ya⟩]
[ asya
[asya { pfp. [1] }[as_2]]{n. sg. voc. | m. sg. voc.}
⟨⟩]
[ visṛjya
[vi-sṛjya { pfp. [1] }[vi-sṛj_1]]{n. sg. voc. | m. sg. voc.}
⟨⟩]
[ vīrāḥ
[vīra]{m. pl. nom.}
⟨ḥ| → ḥ⟩]
[ kuntī
[kuntī]{iic.}
⟨⟩]
[ sutāḥ
[suta_1 { pp. }[su_2]]{f. pl. acc. | f. pl. nom. | m. pl. nom.}
[suta_2 { pp. }[sū_1]]{f. pl. acc. | f. pl. nom. | m. pl. nom.}
⟨⟩]
[ tasya
[tad]{n. sg. g. | m. sg. g.}
⟨⟩]
[ kṛte
[kṛti]{f. sg. voc.}
⟨⟩]
[ yatante
[yat_1]{pr. [1] mo. pl. 3}
⟨⟩]

Solution 24 : ✓
[ ardham
[ardha]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]
[ hi
[hi_1]{ind.}
⟨⟩]
[ rāji
[rāj_2]{m. sg. loc. | n. sg. loc. | f. sg. loc.}
⟨i|a → ya⟩]
[ asya
[asya { pfp. [1] }[as_2]]{n. sg. voc. | m. sg. voc.}
⟨⟩]
[ visṛjya
[vi-sṛjya { pfp. [1] }[vi-sṛj_1]]{n. sg. voc. | m. sg. voc.}
⟨⟩]
[ vīrāḥ
[vīra]{m. pl. nom.}
⟨ḥ| → ḥ⟩]
[ kuntī
[kuntī]{iic.}
⟨⟩]
[ sutāḥ
[suta_1 { pp. }[su_2]]{f. pl. voc. | m. pl. voc.}
[suta_2 { pp. }[sū_1]]{f. pl. voc. | m. pl. voc.}
⟨⟩]
[ tasya
[tad]{n. sg. g. | m. sg. g.}
⟨⟩]
[ kṛte
[kṛti]{f. sg. voc.}
⟨⟩]
[ yatante
[yat_1]{pr. [1] mo. pl. 3}
⟨⟩]



Le chameau Ocaml
Top | Index | Grammar | Sandhi | Reader | Corpus
© Gérard Huet 1994-2024
 Logo Inria