La Rotonde is a restaurant.