Comment justifier que AB=C dans Thales