La logique interne