Le réel reconnaît le réel $OK OX