在三角形ABC中,点D、E、F分别为AC、AB、BC的中点,且三角形ABC的面积是8,则三角形DEF的面积是几?