let print_instance i = ecriture_instance i "stdout"