démonstration d’Hérigone