Here is what your robots.txt file should look like;
   # Robots.txt file created by http://www.webtoolcentral.com
   # For domain: http://www.hotelcignodoro.it
   # All robots will spider the domain
   User-agent: *
   Disallow: 
   # Disallow directory /xfranco/
   User-agent: *
   Disallow: /xfranco/