what is the high lap total for françois cevert?
8.0