programmes de tests, dont test_branch qui montre une erreur chez nous