CREATE TABLE "race" (
  "driver" text,
  "constructor" text,
  "laps" text,
  "time_retired" text,
  "grid" text
);

Question: What were the laps of driver Jean-Christophe Boullion?
SQL: SELECT "laps" FROM "race" WHERE "driver"='jean-christophe boullion';