“…A classical problem is that of establishing conditions which imply that a given variety has an F q -rational point. Nevertheless, in several number-theoretical applications is not just an F q -rational point what is required, but a smooth F q -rational point (see, e.g., [26], [37], [38]).…”