European Swimming Championships in Paris: high diving in the Seine