document.write("non-évalué");