La méthodologie de la démonstration des théorèmes géométriques