Ajout de la fonction check_program