Le Petit Creux is a restaurant.