polynôme d’Ehrhart