Presentation of the paper Crossing the Gap from Imperative to Functional Programming through Refactoring