Au Petit Chabichou is a restaurant.