The Sanskrit Reader Companion

Show Summary of Solutions

Input: pāpe mṛgāṅkadatte tvaṃ baddhabhāvādhunā dhruvam

Sentence: पापे मृगाङ्कदत्ते त्वम् बद्धभावाधुना ध्रुवम्
may be analysed as:


Solution 7 :
[ pāpe
[pāpa]{m. sg. loc. | n. du. acc. | n. du. nom. | n. sg. loc. | f. du. acc. | f. du. nom.}
⟨⟩]
[ mṛgā
[mṛgā]{iic.}
ā|aā⟩]
[ aṅka
[aṅka]{iic.}
⟨⟩]
[ datte
[datta { pp. }[dā_1]]{f. du. acc. | f. du. nom. | n. du. acc. | n. du. nom. | n. sg. loc. | m. sg. loc.}
⟨⟩]
[ tvam
[yuṣmad]{* sg. nom.}
⟨⟩]
[ baddha
[baddha { pp. }[bandh]]{iic.}
⟨⟩]
[ bhā
[bhā_2]{f. sg. nom.}
⟨⟩]
[
[vā_1]{ind.}
ā|aā⟩]
[ adhunā
[adhunā]{ind.}
ā|dhā_dh⟩]
[ dhruvam
[dhruva]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


Solution 10 :
[ pāpe
[pāpa]{m. sg. loc. | n. du. acc. | n. du. nom. | n. sg. loc. | f. du. acc. | f. du. nom.}
⟨⟩]
[ mṛgā
[mṛgā]{iic.}
ā|aā⟩]
[ aṅka
[aṅka]{iic.}
⟨⟩]
[ datte
[datta { pp. }[dā_1]]{f. du. acc. | f. du. nom. | n. du. acc. | n. du. nom. | n. sg. loc. | m. sg. loc.}
⟨⟩]
[ tvam
[yuṣmad]{* sg. nom.}
⟨⟩]
[ baddha
[baddha { pp. }[bandh]]{iic.}
⟨⟩]
[ bhā
[bha]{f. sg. nom.}
⟨⟩]
[
[vā_1]{ind.}
ā|aā⟩]
[ adhunā
[adhunā]{ind.}
ā|dhā_dh⟩]
[ dhruvam
[dhruva]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


Solution 13 :
[ pāpe
[pāpa]{m. sg. loc. | n. du. acc. | n. du. nom. | n. sg. loc. | f. du. acc. | f. du. nom.}
⟨⟩]
[ mṛgā
[mṛgā]{iic.}
ā|aā⟩]
[ aṅka
[aṅka]{iic.}
⟨⟩]
[ datte
[datta { pp. }[dā_1]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ tvam
[yuṣmad]{* sg. nom.}
⟨⟩]
[ baddha
[baddha { pp. }[bandh]]{iic.}
⟨⟩]
[ bhā
[bhā_2]{f. sg. nom.}
⟨⟩]
[
[vā_1]{ind.}
ā|aā⟩]
[ adhunā
[adhunā]{ind.}
ā|dhā_dh⟩]
[ dhruvam
[dhruva]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


Solution 16 :
[ pāpe
[pāpa]{m. sg. loc. | n. du. acc. | n. du. nom. | n. sg. loc. | f. du. acc. | f. du. nom.}
⟨⟩]
[ mṛgā
[mṛgā]{iic.}
ā|aā⟩]
[ aṅka
[aṅka]{iic.}
⟨⟩]
[ datte
[datta { pp. }[dā_1]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ tvam
[yuṣmad]{* sg. nom.}
⟨⟩]
[ baddha
[baddha { pp. }[bandh]]{iic.}
⟨⟩]
[ bhā
[bha]{f. sg. nom.}
⟨⟩]
[
[vā_1]{ind.}
ā|aā⟩]
[ adhunā
[adhunā]{ind.}
ā|dhā_dh⟩]
[ dhruvam
[dhruva]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


Solution 25 :
[ pāpe
[pāpa]{m. sg. loc. | n. du. acc. | n. du. nom. | n. sg. loc. | f. du. acc. | f. du. nom.}
⟨⟩]
[ mṛga
[mṛga]{iic.}
a|aā⟩]
[ aṅka
[aṅka]{iic.}
⟨⟩]
[ datte
[datta { pp. }[dā_1]]{f. du. acc. | f. du. nom. | n. du. acc. | n. du. nom. | n. sg. loc. | m. sg. loc.}
⟨⟩]
[ tvam
[yuṣmad]{* sg. nom.}
⟨⟩]
[ baddha
[baddha { pp. }[bandh]]{iic.}
⟨⟩]
[ bhā
[bhā_2]{f. sg. nom.}
⟨⟩]
[
[vā_1]{ind.}
ā|aā⟩]
[ adhunā
[adhunā]{ind.}
ā|dhā_dh⟩]
[ dhruvam
[dhruva]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


Solution 28 :
[ pāpe
[pāpa]{m. sg. loc. | n. du. acc. | n. du. nom. | n. sg. loc. | f. du. acc. | f. du. nom.}
⟨⟩]
[ mṛga
[mṛga]{iic.}
a|aā⟩]
[ aṅka
[aṅka]{iic.}
⟨⟩]
[ datte
[datta { pp. }[dā_1]]{f. du. acc. | f. du. nom. | n. du. acc. | n. du. nom. | n. sg. loc. | m. sg. loc.}
⟨⟩]
[ tvam
[yuṣmad]{* sg. nom.}
⟨⟩]
[ baddha
[baddha { pp. }[bandh]]{iic.}
⟨⟩]
[ bhā
[bha]{f. sg. nom.}
⟨⟩]
[
[vā_1]{ind.}
ā|aā⟩]
[ adhunā
[adhunā]{ind.}
ā|dhā_dh⟩]
[ dhruvam
[dhruva]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


Solution 31 :
[ pāpe
[pāpa]{m. sg. loc. | n. du. acc. | n. du. nom. | n. sg. loc. | f. du. acc. | f. du. nom.}
⟨⟩]
[ mṛga
[mṛga]{iic.}
a|aā⟩]
[ aṅka
[aṅka]{iic.}
⟨⟩]
[ datte
[datta { pp. }[dā_1]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ tvam
[yuṣmad]{* sg. nom.}
⟨⟩]
[ baddha
[baddha { pp. }[bandh]]{iic.}
⟨⟩]
[ bhā
[bhā_2]{f. sg. nom.}
⟨⟩]
[
[vā_1]{ind.}
ā|aā⟩]
[ adhunā
[adhunā]{ind.}
ā|dhā_dh⟩]
[ dhruvam
[dhruva]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


Solution 34 :
[ pāpe
[pāpa]{m. sg. loc. | n. du. acc. | n. du. nom. | n. sg. loc. | f. du. acc. | f. du. nom.}
⟨⟩]
[ mṛga
[mṛga]{iic.}
a|aā⟩]
[ aṅka
[aṅka]{iic.}
⟨⟩]
[ datte
[datta { pp. }[dā_1]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ tvam
[yuṣmad]{* sg. nom.}
⟨⟩]
[ baddha
[baddha { pp. }[bandh]]{iic.}
⟨⟩]
[ bhā
[bha]{f. sg. nom.}
⟨⟩]
[
[vā_1]{ind.}
ā|aā⟩]
[ adhunā
[adhunā]{ind.}
ā|dhā_dh⟩]
[ dhruvam
[dhruva]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


Solution 43 :
[ pāpe
[pāpa]{n. du. voc. | f. du. voc. | f. sg. voc.}
⟨⟩]
[ mṛgā
[mṛgā]{iic.}
ā|aā⟩]
[ aṅka
[aṅka]{iic.}
⟨⟩]
[ datte
[datta { pp. }[dā_1]]{f. du. acc. | f. du. nom. | n. du. acc. | n. du. nom. | n. sg. loc. | m. sg. loc.}
⟨⟩]
[ tvam
[yuṣmad]{* sg. nom.}
⟨⟩]
[ baddha
[baddha { pp. }[bandh]]{iic.}
⟨⟩]
[ bhā
[bhā_2]{f. sg. nom.}
⟨⟩]
[
[vā_1]{ind.}
ā|aā⟩]
[ adhunā
[adhunā]{ind.}
ā|dhā_dh⟩]
[ dhruvam
[dhruva]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


Solution 46 :
[ pāpe
[pāpa]{n. du. voc. | f. du. voc. | f. sg. voc.}
⟨⟩]
[ mṛgā
[mṛgā]{iic.}
ā|aā⟩]
[ aṅka
[aṅka]{iic.}
⟨⟩]
[ datte
[datta { pp. }[dā_1]]{f. du. acc. | f. du. nom. | n. du. acc. | n. du. nom. | n. sg. loc. | m. sg. loc.}
⟨⟩]
[ tvam
[yuṣmad]{* sg. nom.}
⟨⟩]
[ baddha
[baddha { pp. }[bandh]]{iic.}
⟨⟩]
[ bhā
[bha]{f. sg. nom.}
⟨⟩]
[
[vā_1]{ind.}
ā|aā⟩]
[ adhunā
[adhunā]{ind.}
ā|dhā_dh⟩]
[ dhruvam
[dhruva]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


Solution 49 :
[ pāpe
[pāpa]{n. du. voc. | f. du. voc. | f. sg. voc.}
⟨⟩]
[ mṛgā
[mṛgā]{iic.}
ā|aā⟩]
[ aṅka
[aṅka]{iic.}
⟨⟩]
[ datte
[datta { pp. }[dā_1]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ tvam
[yuṣmad]{* sg. nom.}
⟨⟩]
[ baddha
[baddha { pp. }[bandh]]{iic.}
⟨⟩]
[ bhā
[bhā_2]{f. sg. nom.}
⟨⟩]
[
[vā_1]{ind.}
ā|aā⟩]
[ adhunā
[adhunā]{ind.}
ā|dhā_dh⟩]
[ dhruvam
[dhruva]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


Solution 52 :
[ pāpe
[pāpa]{n. du. voc. | f. du. voc. | f. sg. voc.}
⟨⟩]
[ mṛgā
[mṛgā]{iic.}
ā|aā⟩]
[ aṅka
[aṅka]{iic.}
⟨⟩]
[ datte
[datta { pp. }[dā_1]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ tvam
[yuṣmad]{* sg. nom.}
⟨⟩]
[ baddha
[baddha { pp. }[bandh]]{iic.}
⟨⟩]
[ bhā
[bha]{f. sg. nom.}
⟨⟩]
[
[vā_1]{ind.}
ā|aā⟩]
[ adhunā
[adhunā]{ind.}
ā|dhā_dh⟩]
[ dhruvam
[dhruva]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


Solution 61 :
[ pāpe
[pāpa]{n. du. voc. | f. du. voc. | f. sg. voc.}
⟨⟩]
[ mṛga
[mṛga]{iic.}
a|aā⟩]
[ aṅka
[aṅka]{iic.}
⟨⟩]
[ datte
[datta { pp. }[dā_1]]{f. du. acc. | f. du. nom. | n. du. acc. | n. du. nom. | n. sg. loc. | m. sg. loc.}
⟨⟩]
[ tvam
[yuṣmad]{* sg. nom.}
⟨⟩]
[ baddha
[baddha { pp. }[bandh]]{iic.}
⟨⟩]
[ bhā
[bhā_2]{f. sg. nom.}
⟨⟩]
[
[vā_1]{ind.}
ā|aā⟩]
[ adhunā
[adhunā]{ind.}
ā|dhā_dh⟩]
[ dhruvam
[dhruva]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


Solution 64 :
[ pāpe
[pāpa]{n. du. voc. | f. du. voc. | f. sg. voc.}
⟨⟩]
[ mṛga
[mṛga]{iic.}
a|aā⟩]
[ aṅka
[aṅka]{iic.}
⟨⟩]
[ datte
[datta { pp. }[dā_1]]{f. du. acc. | f. du. nom. | n. du. acc. | n. du. nom. | n. sg. loc. | m. sg. loc.}
⟨⟩]
[ tvam
[yuṣmad]{* sg. nom.}
⟨⟩]
[ baddha
[baddha { pp. }[bandh]]{iic.}
⟨⟩]
[ bhā
[bha]{f. sg. nom.}
⟨⟩]
[
[vā_1]{ind.}
ā|aā⟩]
[ adhunā
[adhunā]{ind.}
ā|dhā_dh⟩]
[ dhruvam
[dhruva]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


Solution 67 :
[ pāpe
[pāpa]{n. du. voc. | f. du. voc. | f. sg. voc.}
⟨⟩]
[ mṛga
[mṛga]{iic.}
a|aā⟩]
[ aṅka
[aṅka]{iic.}
⟨⟩]
[ datte
[datta { pp. }[dā_1]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ tvam
[yuṣmad]{* sg. nom.}
⟨⟩]
[ baddha
[baddha { pp. }[bandh]]{iic.}
⟨⟩]
[ bhā
[bhā_2]{f. sg. nom.}
⟨⟩]
[
[vā_1]{ind.}
ā|aā⟩]
[ adhunā
[adhunā]{ind.}
ā|dhā_dh⟩]
[ dhruvam
[dhruva]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


Solution 70 :
[ pāpe
[pāpa]{n. du. voc. | f. du. voc. | f. sg. voc.}
⟨⟩]
[ mṛga
[mṛga]{iic.}
a|aā⟩]
[ aṅka
[aṅka]{iic.}
⟨⟩]
[ datte
[datta { pp. }[dā_1]]{f. du. voc. | f. sg. voc. | n. du. voc.}
⟨⟩]
[ tvam
[yuṣmad]{* sg. nom.}
⟨⟩]
[ baddha
[baddha { pp. }[bandh]]{iic.}
⟨⟩]
[ bhā
[bha]{f. sg. nom.}
⟨⟩]
[
[vā_1]{ind.}
ā|aā⟩]
[ adhunā
[adhunā]{ind.}
ā|dhā_dh⟩]
[ dhruvam
[dhruva]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


16 solutions kept among 72
Filtering efficiency: 78%

Additional candidate solutions

Solution 1 :
[ pāpe
[pāpa]{m. sg. loc. | n. du. acc. | n. du. nom. | n. sg. loc. | f. du. acc. | f. du. nom.}
⟨⟩]
[ mṛgā
[mṛgā]{iic.}
ā|aā⟩]
[ aṅka
[aṅka]{iic.}
⟨⟩]
[ dat
[dat]{n. sg. acc. | n. sg. nom. | f. sg. nom.}
⟨⟩]
[ te
[tad]{n. du. acc. | n. du. nom. | m. pl. nom. | f. du. acc. | f. du. nom.}
[yuṣmad]{* sg. g. | * sg. dat.}
⟨⟩]
[ tvam
[yuṣmad]{* sg. nom.}
⟨⟩]
[ baddha
[baddha { pp. }[bandh]]{iic.}
⟨⟩]
[ bhā
[bhā_2]{f. sg. nom.}
⟨⟩]
[
[vā_1]{ind.}
ā|aā⟩]
[ adhunā
[adhunā]{ind.}
ā|dhā_dh⟩]
[ dhruvam
[dhruva]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


Solution 4 :
[ pāpe
[pāpa]{m. sg. loc. | n. du. acc. | n. du. nom. | n. sg. loc. | f. du. acc. | f. du. nom.}
⟨⟩]
[ mṛgā
[mṛgā]{iic.}
ā|aā⟩]
[ aṅka
[aṅka]{iic.}
⟨⟩]
[ dat
[dat]{n. sg. acc. | n. sg. nom. | f. sg. nom.}
⟨⟩]
[ te
[tad]{n. du. acc. | n. du. nom. | m. pl. nom. | f. du. acc. | f. du. nom.}
[yuṣmad]{* sg. g. | * sg. dat.}
⟨⟩]
[ tvam
[yuṣmad]{* sg. nom.}
⟨⟩]
[ baddha
[baddha { pp. }[bandh]]{iic.}
⟨⟩]
[ bhā
[bha]{f. sg. nom.}
⟨⟩]
[
[vā_1]{ind.}
ā|aā⟩]
[ adhunā
[adhunā]{ind.}
ā|dhā_dh⟩]
[ dhruvam
[dhruva]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


Solution 19 :
[ pāpe
[pāpa]{m. sg. loc. | n. du. acc. | n. du. nom. | n. sg. loc. | f. du. acc. | f. du. nom.}
⟨⟩]
[ mṛga
[mṛga]{iic.}
a|aā⟩]
[ aṅka
[aṅka]{iic.}
⟨⟩]
[ dat
[dat]{n. sg. acc. | n. sg. nom. | f. sg. nom.}
⟨⟩]
[ te
[tad]{n. du. acc. | n. du. nom. | m. pl. nom. | f. du. acc. | f. du. nom.}
[yuṣmad]{* sg. g. | * sg. dat.}
⟨⟩]
[ tvam
[yuṣmad]{* sg. nom.}
⟨⟩]
[ baddha
[baddha { pp. }[bandh]]{iic.}
⟨⟩]
[ bhā
[bhā_2]{f. sg. nom.}
⟨⟩]
[
[vā_1]{ind.}
ā|aā⟩]
[ adhunā
[adhunā]{ind.}
ā|dhā_dh⟩]
[ dhruvam
[dhruva]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


Solution 22 :
[ pāpe
[pāpa]{m. sg. loc. | n. du. acc. | n. du. nom. | n. sg. loc. | f. du. acc. | f. du. nom.}
⟨⟩]
[ mṛga
[mṛga]{iic.}
a|aā⟩]
[ aṅka
[aṅka]{iic.}
⟨⟩]
[ dat
[dat]{n. sg. acc. | n. sg. nom. | f. sg. nom.}
⟨⟩]
[ te
[tad]{n. du. acc. | n. du. nom. | m. pl. nom. | f. du. acc. | f. du. nom.}
[yuṣmad]{* sg. g. | * sg. dat.}
⟨⟩]
[ tvam
[yuṣmad]{* sg. nom.}
⟨⟩]
[ baddha
[baddha { pp. }[bandh]]{iic.}
⟨⟩]
[ bhā
[bha]{f. sg. nom.}
⟨⟩]
[
[vā_1]{ind.}
ā|aā⟩]
[ adhunā
[adhunā]{ind.}
ā|dhā_dh⟩]
[ dhruvam
[dhruva]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


Solution 37 :
[ pāpe
[pāpa]{n. du. voc. | f. du. voc. | f. sg. voc.}
⟨⟩]
[ mṛgā
[mṛgā]{iic.}
ā|aā⟩]
[ aṅka
[aṅka]{iic.}
⟨⟩]
[ dat
[dat]{n. sg. acc. | n. sg. nom. | f. sg. nom.}
⟨⟩]
[ te
[tad]{n. du. acc. | n. du. nom. | m. pl. nom. | f. du. acc. | f. du. nom.}
[yuṣmad]{* sg. g. | * sg. dat.}
⟨⟩]
[ tvam
[yuṣmad]{* sg. nom.}
⟨⟩]
[ baddha
[baddha { pp. }[bandh]]{iic.}
⟨⟩]
[ bhā
[bhā_2]{f. sg. nom.}
⟨⟩]
[
[vā_1]{ind.}
ā|aā⟩]
[ adhunā
[adhunā]{ind.}
ā|dhā_dh⟩]
[ dhruvam
[dhruva]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


Solution 40 :
[ pāpe
[pāpa]{n. du. voc. | f. du. voc. | f. sg. voc.}
⟨⟩]
[ mṛgā
[mṛgā]{iic.}
ā|aā⟩]
[ aṅka
[aṅka]{iic.}
⟨⟩]
[ dat
[dat]{n. sg. acc. | n. sg. nom. | f. sg. nom.}
⟨⟩]
[ te
[tad]{n. du. acc. | n. du. nom. | m. pl. nom. | f. du. acc. | f. du. nom.}
[yuṣmad]{* sg. g. | * sg. dat.}
⟨⟩]
[ tvam
[yuṣmad]{* sg. nom.}
⟨⟩]
[ baddha
[baddha { pp. }[bandh]]{iic.}
⟨⟩]
[ bhā
[bha]{f. sg. nom.}
⟨⟩]
[
[vā_1]{ind.}
ā|aā⟩]
[ adhunā
[adhunā]{ind.}
ā|dhā_dh⟩]
[ dhruvam
[dhruva]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


Solution 55 :
[ pāpe
[pāpa]{n. du. voc. | f. du. voc. | f. sg. voc.}
⟨⟩]
[ mṛga
[mṛga]{iic.}
a|aā⟩]
[ aṅka
[aṅka]{iic.}
⟨⟩]
[ dat
[dat]{n. sg. acc. | n. sg. nom. | f. sg. nom.}
⟨⟩]
[ te
[tad]{n. du. acc. | n. du. nom. | m. pl. nom. | f. du. acc. | f. du. nom.}
[yuṣmad]{* sg. g. | * sg. dat.}
⟨⟩]
[ tvam
[yuṣmad]{* sg. nom.}
⟨⟩]
[ baddha
[baddha { pp. }[bandh]]{iic.}
⟨⟩]
[ bhā
[bhā_2]{f. sg. nom.}
⟨⟩]
[
[vā_1]{ind.}
ā|aā⟩]
[ adhunā
[adhunā]{ind.}
ā|dhā_dh⟩]
[ dhruvam
[dhruva]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]


Solution 58 :
[ pāpe
[pāpa]{n. du. voc. | f. du. voc. | f. sg. voc.}
⟨⟩]
[ mṛga
[mṛga]{iic.}
a|aā⟩]
[ aṅka
[aṅka]{iic.}
⟨⟩]
[ dat
[dat]{n. sg. acc. | n. sg. nom. | f. sg. nom.}
⟨⟩]
[ te
[tad]{n. du. acc. | n. du. nom. | m. pl. nom. | f. du. acc. | f. du. nom.}
[yuṣmad]{* sg. g. | * sg. dat.}
⟨⟩]
[ tvam
[yuṣmad]{* sg. nom.}
⟨⟩]
[ baddha
[baddha { pp. }[bandh]]{iic.}
⟨⟩]
[ bhā
[bha]{f. sg. nom.}
⟨⟩]
[
[vā_1]{ind.}
ā|aā⟩]
[ adhunā
[adhunā]{ind.}
ā|dhā_dh⟩]
[ dhruvam
[dhruva]{m. sg. acc. | n. sg. acc. | n. sg. nom.}
⟨⟩]




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