démonstration d'Hérigone