Many Michelin restaurants include the service charge in the bill. If not, a 5-10% tip is perfectly acceptable.