CREATE TABLE table_name_54 (roger_françois VARCHAR(255), world_record VARCHAR(255))
What is the total amount of world records for Roger Francois?
    
SQL: SELECT roger_françois FROM table_name_54 WHERE world_record = "total"