La Rotonde is a brasserie.