Wikimedia Commons has media related to Real closed field.