Random K-satisfiability problem: from an analytic solution to an efficient algorithm — scientific article published on 26 November 2002