CREATE TABLE table_56518 ("Driver" TEXT, "Constructor" TEXT, "Laps" TEXT, "Time/Retired" TEXT, "Grid" TEXT)

What were the laps of driver Jean-Christophe Boullion?
SELECT "Laps" FROM table_56518 WHERE "Driver" = 'jean-christophe boullion'
SELECT "Laps" FROM "table_56518" WHERE "Driver" = 'jean-christophe boullion'