The Sanskrit Reader Companion

Show Summary of Solutions

Input: ananyāś cintayanto māṃ ye janāḥ paryupāsate

Sentence: अनन्याः चिन्तयन्तः माम् ये जनाः पर्युपासते
may be analysed as:


Solution 15 :
[ ananyāḥ
[ananya]{m. pl. nom. | f. pl. acc. | f. pl. nom.}
|⟩]
[ cintayantaḥ
[cintayat { ppr. [10] ac. }[cint]]{m. pl. nom.}
|⟩]
[ mām
[asmad]{* sg. acc.}
⟨⟩]
[ ye
[yad]{n. du. acc. | n. du. nom. | m. pl. nom. | f. du. acc. | f. du. nom.}
⟨⟩]
[ janāḥ
[jana]{m. pl. nom.}
|⟩]
[ paryupāsate
[pari-upa-ās_2]{subj. mo. sg. 3 | pr. [2] mo. pl. 3}
⟨⟩]


Solution 18 :
[ ananyāḥ
[ananya]{m. pl. nom. | f. pl. acc. | f. pl. nom.}
|⟩]
[ cintayantaḥ
[cintayat { ppr. [10] ac. }[cint]]{m. pl. nom.}
|⟩]
[ mām
[asmad]{* sg. acc.}
⟨⟩]
[ ye
[yad]{n. du. acc. | n. du. nom. | m. pl. nom. | f. du. acc. | f. du. nom.}
⟨⟩]
[ janāḥ
[jana]{m. pl. voc.}
|⟩]
[ paryupāsate
[pari-upa-ās_2]{subj. mo. sg. 3 | pr. [2] mo. pl. 3}
⟨⟩]


Solution 21 :
[ ananyāḥ
[ananya]{m. pl. nom. | f. pl. acc. | f. pl. nom.}
|⟩]
[ cintayantaḥ
[cintayat { ppr. [10] ac. }[cint]]{m. pl. voc.}
|⟩]
[ mām
[asmad]{* sg. acc.}
⟨⟩]
[ ye
[yad]{n. du. acc. | n. du. nom. | m. pl. nom. | f. du. acc. | f. du. nom.}
⟨⟩]
[ janāḥ
[jana]{m. pl. nom.}
|⟩]
[ paryupāsate
[pari-upa-ās_2]{subj. mo. sg. 3 | pr. [2] mo. pl. 3}
⟨⟩]


Solution 24 :
[ ananyāḥ
[ananya]{m. pl. nom. | f. pl. acc. | f. pl. nom.}
|⟩]
[ cintayantaḥ
[cintayat { ppr. [10] ac. }[cint]]{m. pl. voc.}
|⟩]
[ mām
[asmad]{* sg. acc.}
⟨⟩]
[ ye
[yad]{n. du. acc. | n. du. nom. | m. pl. nom. | f. du. acc. | f. du. nom.}
⟨⟩]
[ janāḥ
[jana]{m. pl. voc.}
|⟩]
[ paryupāsate
[pari-upa-ās_2]{subj. mo. sg. 3 | pr. [2] mo. pl. 3}
⟨⟩]


Solution 63 :
[ ananyāḥ
[ananya]{m. pl. voc. | f. pl. voc.}
|⟩]
[ cintayantaḥ
[cintayat { ppr. [10] ac. }[cint]]{m. pl. nom.}
|⟩]
[ mām
[asmad]{* sg. acc.}
⟨⟩]
[ ye
[yad]{n. du. acc. | n. du. nom. | m. pl. nom. | f. du. acc. | f. du. nom.}
⟨⟩]
[ janāḥ
[jana]{m. pl. nom.}
|⟩]
[ paryupāsate
[pari-upa-ās_2]{subj. mo. sg. 3 | pr. [2] mo. pl. 3}
⟨⟩]


Solution 66 :
[ ananyāḥ
[ananya]{m. pl. voc. | f. pl. voc.}
|⟩]
[ cintayantaḥ
[cintayat { ppr. [10] ac. }[cint]]{m. pl. nom.}
|⟩]
[ mām
[asmad]{* sg. acc.}
⟨⟩]
[ ye
[yad]{n. du. acc. | n. du. nom. | m. pl. nom. | f. du. acc. | f. du. nom.}
⟨⟩]
[ janāḥ
[jana]{m. pl. voc.}
|⟩]
[ paryupāsate
[pari-upa-ās_2]{subj. mo. sg. 3 | pr. [2] mo. pl. 3}
⟨⟩]


Solution 69 :
[ ananyāḥ
[ananya]{m. pl. voc. | f. pl. voc.}
|⟩]
[ cintayantaḥ
[cintayat { ppr. [10] ac. }[cint]]{m. pl. voc.}
|⟩]
[ mām
[asmad]{* sg. acc.}
⟨⟩]
[ ye
[yad]{n. du. acc. | n. du. nom. | m. pl. nom. | f. du. acc. | f. du. nom.}
⟨⟩]
[ janāḥ
[jana]{m. pl. nom.}
|⟩]
[ paryupāsate
[pari-upa-ās_2]{subj. mo. sg. 3 | pr. [2] mo. pl. 3}
⟨⟩]


Solution 72 :
[ ananyāḥ
[ananya]{m. pl. voc. | f. pl. voc.}
|⟩]
[ cintayantaḥ
[cintayat { ppr. [10] ac. }[cint]]{m. pl. voc.}
|⟩]
[ mām
[asmad]{* sg. acc.}
⟨⟩]
[ ye
[yad]{n. du. acc. | n. du. nom. | m. pl. nom. | f. du. acc. | f. du. nom.}
⟨⟩]
[ janāḥ
[jana]{m. pl. voc.}
|⟩]
[ paryupāsate
[pari-upa-ās_2]{subj. mo. sg. 3 | pr. [2] mo. pl. 3}
⟨⟩]


8 solutions kept among 72
Filtering efficiency: 90%

Additional candidate solutions

Solution 3 :
[ ananyāḥ
[ananya]{m. pl. nom. | f. pl. acc. | f. pl. nom.}
|⟩]
[ cinte
[cintā]{f. du. acc. | f. du. nom.}
e|aaya⟩]
[ antaḥ
[antar]{ind.}
|⟩]
[ mām
[asmad]{* sg. acc.}
⟨⟩]
[ ye
[yad]{n. du. acc. | n. du. nom. | m. pl. nom. | f. du. acc. | f. du. nom.}
⟨⟩]
[ janāḥ
[jana]{m. pl. nom.}
|⟩]
[ paryupāsate
[pari-upa-ās_2]{subj. mo. sg. 3 | pr. [2] mo. pl. 3}
⟨⟩]


Solution 6 :
[ ananyāḥ
[ananya]{m. pl. nom. | f. pl. acc. | f. pl. nom.}
|⟩]
[ cinte
[cintā]{f. du. acc. | f. du. nom.}
e|aaya⟩]
[ antaḥ
[antar]{ind.}
|⟩]
[ mām
[asmad]{* sg. acc.}
⟨⟩]
[ ye
[yad]{n. du. acc. | n. du. nom. | m. pl. nom. | f. du. acc. | f. du. nom.}
⟨⟩]
[ janāḥ
[jana]{m. pl. voc.}
|⟩]
[ paryupāsate
[pari-upa-ās_2]{subj. mo. sg. 3 | pr. [2] mo. pl. 3}
⟨⟩]


Solution 12 :
[ ananyāḥ
[ananya]{m. pl. nom. | f. pl. acc. | f. pl. nom.}
|⟩]
[ cinte
[cintā]{f. du. acc. | f. du. nom.}
e|aaya⟩]
[ antaḥ
[anta]{m. sg. nom.}
|⟩]
[ mām
[asmad]{* sg. acc.}
⟨⟩]
[ ye
[yad]{n. du. acc. | n. du. nom. | m. pl. nom. | f. du. acc. | f. du. nom.}
⟨⟩]
[ janāḥ
[jana]{m. pl. voc.}
|⟩]
[ paryupāsate
[pari-upa-ās_2]{subj. mo. sg. 3 | pr. [2] mo. pl. 3}
⟨⟩]


Solution 13 :
[ ananyāḥ
[ananya]{m. pl. nom. | f. pl. acc. | f. pl. nom.}
|⟩]
[ cintayantaḥ
[cintayat { ppr. [10] ac. }[cint]]{m. pl. nom.}
|⟩]
[ mām
[asmad]{* sg. acc.}
⟨⟩]
[ ye
[yad]{n. du. acc. | n. du. nom. | m. pl. nom. | f. du. acc. | f. du. nom.}
⟨⟩]
[ janāḥ
[jana]{m. pl. nom.}
|⟩]
[ parī
[pari]{ind.}
ī|uyu⟩]
[ upāsate
[upa-ās_2]{subj. mo. sg. 3 | pr. [2] mo. pl. 3}
⟨⟩]


Solution 14 :
[ ananyāḥ
[ananya]{m. pl. nom. | f. pl. acc. | f. pl. nom.}
|⟩]
[ cintayantaḥ
[cintayat { ppr. [10] ac. }[cint]]{m. pl. nom.}
|⟩]
[ mām
[asmad]{* sg. acc.}
⟨⟩]
[ ye
[yad]{n. du. acc. | n. du. nom. | m. pl. nom. | f. du. acc. | f. du. nom.}
⟨⟩]
[ janāḥ
[jana]{m. pl. nom.}
|⟩]
[ pari
[pari]{ind.}
i|uyu⟩]
[ upāsate
[upa-ās_2]{subj. mo. sg. 3 | pr. [2] mo. pl. 3}
⟨⟩]


Solution 16 :
[ ananyāḥ
[ananya]{m. pl. nom. | f. pl. acc. | f. pl. nom.}
|⟩]
[ cintayantaḥ
[cintayat { ppr. [10] ac. }[cint]]{m. pl. nom.}
|⟩]
[ mām
[asmad]{* sg. acc.}
⟨⟩]
[ ye
[yad]{n. du. acc. | n. du. nom. | m. pl. nom. | f. du. acc. | f. du. nom.}
⟨⟩]
[ janāḥ
[jana]{m. pl. voc.}
|⟩]
[ parī
[pari]{ind.}
ī|uyu⟩]
[ upāsate
[upa-ās_2]{subj. mo. sg. 3 | pr. [2] mo. pl. 3}
⟨⟩]


Solution 17 :
[ ananyāḥ
[ananya]{m. pl. nom. | f. pl. acc. | f. pl. nom.}
|⟩]
[ cintayantaḥ
[cintayat { ppr. [10] ac. }[cint]]{m. pl. nom.}
|⟩]
[ mām
[asmad]{* sg. acc.}
⟨⟩]
[ ye
[yad]{n. du. acc. | n. du. nom. | m. pl. nom. | f. du. acc. | f. du. nom.}
⟨⟩]
[ janāḥ
[jana]{m. pl. voc.}
|⟩]
[ pari
[pari]{ind.}
i|uyu⟩]
[ upāsate
[upa-ās_2]{subj. mo. sg. 3 | pr. [2] mo. pl. 3}
⟨⟩]


Solution 19 :
[ ananyāḥ
[ananya]{m. pl. nom. | f. pl. acc. | f. pl. nom.}
|⟩]
[ cintayantaḥ
[cintayat { ppr. [10] ac. }[cint]]{m. pl. voc.}
|⟩]
[ mām
[asmad]{* sg. acc.}
⟨⟩]
[ ye
[yad]{n. du. acc. | n. du. nom. | m. pl. nom. | f. du. acc. | f. du. nom.}
⟨⟩]
[ janāḥ
[jana]{m. pl. nom.}
|⟩]
[ parī
[pari]{ind.}
ī|uyu⟩]
[ upāsate
[upa-ās_2]{subj. mo. sg. 3 | pr. [2] mo. pl. 3}
⟨⟩]


Solution 20 :
[ ananyāḥ
[ananya]{m. pl. nom. | f. pl. acc. | f. pl. nom.}
|⟩]
[ cintayantaḥ
[cintayat { ppr. [10] ac. }[cint]]{m. pl. voc.}
|⟩]
[ mām
[asmad]{* sg. acc.}
⟨⟩]
[ ye
[yad]{n. du. acc. | n. du. nom. | m. pl. nom. | f. du. acc. | f. du. nom.}
⟨⟩]
[ janāḥ
[jana]{m. pl. nom.}
|⟩]
[ pari
[pari]{ind.}
i|uyu⟩]
[ upāsate
[upa-ās_2]{subj. mo. sg. 3 | pr. [2] mo. pl. 3}
⟨⟩]


Solution 22 :
[ ananyāḥ
[ananya]{m. pl. nom. | f. pl. acc. | f. pl. nom.}
|⟩]
[ cintayantaḥ
[cintayat { ppr. [10] ac. }[cint]]{m. pl. voc.}
|⟩]
[ mām
[asmad]{* sg. acc.}
⟨⟩]
[ ye
[yad]{n. du. acc. | n. du. nom. | m. pl. nom. | f. du. acc. | f. du. nom.}
⟨⟩]
[ janāḥ
[jana]{m. pl. voc.}
|⟩]
[ parī
[pari]{ind.}
ī|uyu⟩]
[ upāsate
[upa-ās_2]{subj. mo. sg. 3 | pr. [2] mo. pl. 3}
⟨⟩]


Solution 23 :
[ ananyāḥ
[ananya]{m. pl. nom. | f. pl. acc. | f. pl. nom.}
|⟩]
[ cintayantaḥ
[cintayat { ppr. [10] ac. }[cint]]{m. pl. voc.}
|⟩]
[ mām
[asmad]{* sg. acc.}
⟨⟩]
[ ye
[yad]{n. du. acc. | n. du. nom. | m. pl. nom. | f. du. acc. | f. du. nom.}
⟨⟩]
[ janāḥ
[jana]{m. pl. voc.}
|⟩]
[ pari
[pari]{ind.}
i|uyu⟩]
[ upāsate
[upa-ās_2]{subj. mo. sg. 3 | pr. [2] mo. pl. 3}
⟨⟩]


Solution 39 :
[ anan
[anat { ppr. [2] ac. }[an_2]]{m. sg. nom.}
⟨⟩]
[ yāḥ
[yad]{f. pl. acc. | f. pl. nom.}
|⟩]
[ cintayantaḥ
[cintayat { ppr. [10] ac. }[cint]]{m. pl. nom.}
|⟩]
[ mām
[asmad]{* sg. acc.}
⟨⟩]
[ ye
[yad]{n. du. acc. | n. du. nom. | m. pl. nom. | f. du. acc. | f. du. nom.}
⟨⟩]
[ janāḥ
[jana]{m. pl. nom.}
|⟩]
[ paryupāsate
[pari-upa-ās_2]{subj. mo. sg. 3 | pr. [2] mo. pl. 3}
⟨⟩]


Solution 42 :
[ anan
[anat { ppr. [2] ac. }[an_2]]{m. sg. nom.}
⟨⟩]
[ yāḥ
[yad]{f. pl. acc. | f. pl. nom.}
|⟩]
[ cintayantaḥ
[cintayat { ppr. [10] ac. }[cint]]{m. pl. nom.}
|⟩]
[ mām
[asmad]{* sg. acc.}
⟨⟩]
[ ye
[yad]{n. du. acc. | n. du. nom. | m. pl. nom. | f. du. acc. | f. du. nom.}
⟨⟩]
[ janāḥ
[jana]{m. pl. voc.}
|⟩]
[ paryupāsate
[pari-upa-ās_2]{subj. mo. sg. 3 | pr. [2] mo. pl. 3}
⟨⟩]


Solution 45 :
[ anan
[anat { ppr. [2] ac. }[an_2]]{m. sg. nom.}
⟨⟩]
[ yāḥ
[yad]{f. pl. acc. | f. pl. nom.}
|⟩]
[ cintayantaḥ
[cintayat { ppr. [10] ac. }[cint]]{m. pl. voc.}
|⟩]
[ mām
[asmad]{* sg. acc.}
⟨⟩]
[ ye
[yad]{n. du. acc. | n. du. nom. | m. pl. nom. | f. du. acc. | f. du. nom.}
⟨⟩]
[ janāḥ
[jana]{m. pl. nom.}
|⟩]
[ paryupāsate
[pari-upa-ās_2]{subj. mo. sg. 3 | pr. [2] mo. pl. 3}
⟨⟩]


Solution 48 :
[ anan
[anat { ppr. [2] ac. }[an_2]]{m. sg. nom.}
⟨⟩]
[ yāḥ
[yad]{f. pl. acc. | f. pl. nom.}
|⟩]
[ cintayantaḥ
[cintayat { ppr. [10] ac. }[cint]]{m. pl. voc.}
|⟩]
[ mām
[asmad]{* sg. acc.}
⟨⟩]
[ ye
[yad]{n. du. acc. | n. du. nom. | m. pl. nom. | f. du. acc. | f. du. nom.}
⟨⟩]
[ janāḥ
[jana]{m. pl. voc.}
|⟩]
[ paryupāsate
[pari-upa-ās_2]{subj. mo. sg. 3 | pr. [2] mo. pl. 3}
⟨⟩]


Solution 51 :
[ ananyāḥ
[ananya]{m. pl. voc. | f. pl. voc.}
|⟩]
[ cinte
[cintā]{f. du. acc. | f. du. nom.}
e|aaya⟩]
[ antaḥ
[antar]{ind.}
|⟩]
[ mām
[asmad]{* sg. acc.}
⟨⟩]
[ ye
[yad]{n. du. acc. | n. du. nom. | m. pl. nom. | f. du. acc. | f. du. nom.}
⟨⟩]
[ janāḥ
[jana]{m. pl. nom.}
|⟩]
[ paryupāsate
[pari-upa-ās_2]{subj. mo. sg. 3 | pr. [2] mo. pl. 3}
⟨⟩]


Solution 54 :
[ ananyāḥ
[ananya]{m. pl. voc. | f. pl. voc.}
|⟩]
[ cinte
[cintā]{f. du. acc. | f. du. nom.}
e|aaya⟩]
[ antaḥ
[antar]{ind.}
|⟩]
[ mām
[asmad]{* sg. acc.}
⟨⟩]
[ ye
[yad]{n. du. acc. | n. du. nom. | m. pl. nom. | f. du. acc. | f. du. nom.}
⟨⟩]
[ janāḥ
[jana]{m. pl. voc.}
|⟩]
[ paryupāsate
[pari-upa-ās_2]{subj. mo. sg. 3 | pr. [2] mo. pl. 3}
⟨⟩]


Solution 60 :
[ ananyāḥ
[ananya]{m. pl. voc. | f. pl. voc.}
|⟩]
[ cinte
[cintā]{f. du. acc. | f. du. nom.}
e|aaya⟩]
[ antaḥ
[anta]{m. sg. nom.}
|⟩]
[ mām
[asmad]{* sg. acc.}
⟨⟩]
[ ye
[yad]{n. du. acc. | n. du. nom. | m. pl. nom. | f. du. acc. | f. du. nom.}
⟨⟩]
[ janāḥ
[jana]{m. pl. voc.}
|⟩]
[ paryupāsate
[pari-upa-ās_2]{subj. mo. sg. 3 | pr. [2] mo. pl. 3}
⟨⟩]


Solution 61 :
[ ananyāḥ
[ananya]{m. pl. voc. | f. pl. voc.}
|⟩]
[ cintayantaḥ
[cintayat { ppr. [10] ac. }[cint]]{m. pl. nom.}
|⟩]
[ mām
[asmad]{* sg. acc.}
⟨⟩]
[ ye
[yad]{n. du. acc. | n. du. nom. | m. pl. nom. | f. du. acc. | f. du. nom.}
⟨⟩]
[ janāḥ
[jana]{m. pl. nom.}
|⟩]
[ parī
[pari]{ind.}
ī|uyu⟩]
[ upāsate
[upa-ās_2]{subj. mo. sg. 3 | pr. [2] mo. pl. 3}
⟨⟩]


Solution 62 :
[ ananyāḥ
[ananya]{m. pl. voc. | f. pl. voc.}
|⟩]
[ cintayantaḥ
[cintayat { ppr. [10] ac. }[cint]]{m. pl. nom.}
|⟩]
[ mām
[asmad]{* sg. acc.}
⟨⟩]
[ ye
[yad]{n. du. acc. | n. du. nom. | m. pl. nom. | f. du. acc. | f. du. nom.}
⟨⟩]
[ janāḥ
[jana]{m. pl. nom.}
|⟩]
[ pari
[pari]{ind.}
i|uyu⟩]
[ upāsate
[upa-ās_2]{subj. mo. sg. 3 | pr. [2] mo. pl. 3}
⟨⟩]


Solution 64 :
[ ananyāḥ
[ananya]{m. pl. voc. | f. pl. voc.}
|⟩]
[ cintayantaḥ
[cintayat { ppr. [10] ac. }[cint]]{m. pl. nom.}
|⟩]
[ mām
[asmad]{* sg. acc.}
⟨⟩]
[ ye
[yad]{n. du. acc. | n. du. nom. | m. pl. nom. | f. du. acc. | f. du. nom.}
⟨⟩]
[ janāḥ
[jana]{m. pl. voc.}
|⟩]
[ parī
[pari]{ind.}
ī|uyu⟩]
[ upāsate
[upa-ās_2]{subj. mo. sg. 3 | pr. [2] mo. pl. 3}
⟨⟩]


Solution 65 :
[ ananyāḥ
[ananya]{m. pl. voc. | f. pl. voc.}
|⟩]
[ cintayantaḥ
[cintayat { ppr. [10] ac. }[cint]]{m. pl. nom.}
|⟩]
[ mām
[asmad]{* sg. acc.}
⟨⟩]
[ ye
[yad]{n. du. acc. | n. du. nom. | m. pl. nom. | f. du. acc. | f. du. nom.}
⟨⟩]
[ janāḥ
[jana]{m. pl. voc.}
|⟩]
[ pari
[pari]{ind.}
i|uyu⟩]
[ upāsate
[upa-ās_2]{subj. mo. sg. 3 | pr. [2] mo. pl. 3}
⟨⟩]


Solution 67 :
[ ananyāḥ
[ananya]{m. pl. voc. | f. pl. voc.}
|⟩]
[ cintayantaḥ
[cintayat { ppr. [10] ac. }[cint]]{m. pl. voc.}
|⟩]
[ mām
[asmad]{* sg. acc.}
⟨⟩]
[ ye
[yad]{n. du. acc. | n. du. nom. | m. pl. nom. | f. du. acc. | f. du. nom.}
⟨⟩]
[ janāḥ
[jana]{m. pl. nom.}
|⟩]
[ parī
[pari]{ind.}
ī|uyu⟩]
[ upāsate
[upa-ās_2]{subj. mo. sg. 3 | pr. [2] mo. pl. 3}
⟨⟩]


Solution 68 :
[ ananyāḥ
[ananya]{m. pl. voc. | f. pl. voc.}
|⟩]
[ cintayantaḥ
[cintayat { ppr. [10] ac. }[cint]]{m. pl. voc.}
|⟩]
[ mām
[asmad]{* sg. acc.}
⟨⟩]
[ ye
[yad]{n. du. acc. | n. du. nom. | m. pl. nom. | f. du. acc. | f. du. nom.}
⟨⟩]
[ janāḥ
[jana]{m. pl. nom.}
|⟩]
[ pari
[pari]{ind.}
i|uyu⟩]
[ upāsate
[upa-ās_2]{subj. mo. sg. 3 | pr. [2] mo. pl. 3}
⟨⟩]


Solution 70 :
[ ananyāḥ
[ananya]{m. pl. voc. | f. pl. voc.}
|⟩]
[ cintayantaḥ
[cintayat { ppr. [10] ac. }[cint]]{m. pl. voc.}
|⟩]
[ mām
[asmad]{* sg. acc.}
⟨⟩]
[ ye
[yad]{n. du. acc. | n. du. nom. | m. pl. nom. | f. du. acc. | f. du. nom.}
⟨⟩]
[ janāḥ
[jana]{m. pl. voc.}
|⟩]
[ parī
[pari]{ind.}
ī|uyu⟩]
[ upāsate
[upa-ās_2]{subj. mo. sg. 3 | pr. [2] mo. pl. 3}
⟨⟩]


Solution 71 :
[ ananyāḥ
[ananya]{m. pl. voc. | f. pl. voc.}
|⟩]
[ cintayantaḥ
[cintayat { ppr. [10] ac. }[cint]]{m. pl. voc.}
|⟩]
[ mām
[asmad]{* sg. acc.}
⟨⟩]
[ ye
[yad]{n. du. acc. | n. du. nom. | m. pl. nom. | f. du. acc. | f. du. nom.}
⟨⟩]
[ janāḥ
[jana]{m. pl. voc.}
|⟩]
[ pari
[pari]{ind.}
i|uyu⟩]
[ upāsate
[upa-ās_2]{subj. mo. sg. 3 | pr. [2] mo. pl. 3}
⟨⟩]




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