robots.txt encoding issue
Problem solved.

Thanks to @hansfn comment, I found a similar issue on drupal.org: Doesn't work for anonymous users

I told about it to the developer I work with and he updated the RobotsTxt module from the version 7.x-1.2 to the version 7.x-1.4, and it solved the problem.