user: Question: What is the sum of heat for christophe lebon when lane is less than 4?
Columns: ['Rank', 'Heat', 'Lane', 'Name', 'Nationality', 'Time']
Types: ['real', 'real', 'real', 'text', 'text', 'text']
Sample row: [1.0, 6.0, 4.0, 'Michael Phelps', 'United States', '1:53.70']
SQL:

assistant: SELECT SUM("Heat") FROM "Table" WHERE "Lane" < 4.0 AND "Name" = 'christophe lebon';