Méthodes de dénombrement de points entiers de polyèdres et applications à l'optimisation de programmes