Démonstration en TeX.