trace ajouté on_proposal_append
commencé tournures boucles propositions