A correspondence between rooted planar maps and normal planar lambda terms (Logical Methods in Computer Science, 2015)