"; echo version_texte($texte_patron) ; echo ""; ?>