Qual é o número total de recordes mundiais de Roger Francois?
CREATE TABLE table_name_54 (roger_françois VARCHAR, world_record VARCHAR)
SELECT roger_françois FROM table_name_54 WHERE world_record = "total"