debug propositions (affichage)