Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion (Logical Methods in Computer Science, 2012)