Le Vieux Puits is a restaurant.