Le Petit Chinon is a restaurant.