If memory serves me I believe that Africa Energy is trading with the Horn Symbol and is 30% owned by Africa Oil.
I agree that it seems hard to believe that Total would be signing in to build a pipeline unless their discussions indicated that the oil will be there.