text/deligne.tex
changeset 285 0b3e76167461
parent 283 418919afd077
child 288 6c1b3c954c7e