Qu’est-ce qu’un crédit budgétaire en finance publique ?