The sphere packing problem in dimension 8The sphere packing problem in dimension 8