Table schema:
CREATE TABLE table_name_54 (roger_françois VARCHAR, world_record VARCHAR)

Question: What is the total amount of world records for Roger Francois?
SQL: SELECT roger_françois FROM table_name_54 WHERE world_record = "total"