polynôme d'Ehrhart