Instruct: What is the high lap total for françois cevert?
Output: SELECT MAX Laps FROM table WHERE Driver = françois cevert