lemme de Lebesgue