Inégalité de Denjoy–Koksma