French TGV setting the world speed record.