Tips are mandatory in France? This is news to me. I’ll sometimes round up to the nearest 5, but nothing like the US.