Good news: It was my TG6 which experiences a leak, and it's fine.
But, I would like to understand what was going on. I had in fact cleaned the o-ring and grove before the dive, re-lubed with original Olympus grease, and re-inserted. I do a lot of beach dives, so there is some fine sand on the...