Un procédé itératif de dénombrement d'arbres binaires et son application à leur génération aléatoire