print_string "Bienvenue !\n";;