"12 coups de midi" : le record des gains battu par le champion Eric, avec 810.244 euros