From what I can tell from Alain's last article, he's still using LR 3 ... he shows a dialog box with the shadow/recovery sliders which were replaced in Lightroom 4 (2012).
At first I assumed it was an old article but then I remembered he just took this shot last November at Badwater.
I guess this is more a question to him than anyone ... but PV 2012 was a big improvement on PV 2010. Is there a reason with sticking with the outdated version?