LONDON (AFP) - World oil prices dipped slightly on Tuesday in choppy deals as traders banked profits, one day after New York crude had soared more than 16 dollars for its biggest-ever daily jump. The massive price surge on Monday was