Contributions to the analysis and design of an ADPLL. - Cyril Joubert; Jean-François Bercher; Geneviève Baudoin (ICECS, 2006)