writeString($contenu); } }