Thalès : réciproque et contraposée