Exactly. We were told by one of the owners of L'Estaminet (when it was still open of course) in no uncertain terms that tipping is not done on the French side, though a few extra dollars for great service is not uncommon.