CREATE TABLE table_name_20 (time VARCHAR(255), name VARCHAR(255))
Swimmer Audrey Lacroix finished in what time?
    
SQL: SELECT time FROM table_name_20 WHERE name = "audrey lacroix"