let
print_instance i = ecriture_instance i
"stdout"